Программное обеспечение Polyspace Model Link SL предлагает дополнительные инструменты для Polyspace Client for C/C++ и Polyspace Server for C/C++, позволяющие передавать сгенерированный С-код напрямую из Simulink-моделей. В результате разработчики получают представление, какие части моделей являются надежными, а также могут исправлять те части моделей, которые приводят к ошибкам исполнения в коде. С помощью Polyspace Model Link SL пользователи работают в Simulink, чтобы проверять С-код, сгенерированный с помощью Embedded Coder. Таким образом, осуществляется проверка и исправление сгенерированного и ручного кода до его компиляции.
Особенности Polyspace Model Link SL:

• Передовые методы верификации кода.


• Обработка всего спектра значений переменных пользовательского кода.


• Передача результатов верификации обратно в Simulink-модель.


• Запуск проверок из Simulink или командной строки MATLAB.