Поддержка MATLAB ® или Simulink ® в Polyspace ® зависит от их версий. Polyspace полностью поддерживает MATLAB и Simulink одного выпуска, предлагая полную интеграцию. Polyspace поддерживает MATLAB и Simulink более ранних версий с перекрестной интеграцией. См. таблицу.
| Выпуск Polyspace R2018a | Выпуск Polyspace R2018b | Выпуск Polyspace R2019a | Выпуск Polyspace R2019b | Выпуск Polyspace R2020a | Выпуск Polyspace R2020b | Выпуск Polyspace R2021a | |
| Выпуск MATLAB/Simulink R2018a | Полная интеграция | Интеграция между версиями | Интеграция между версиями | Интеграция между версиями | Интеграция между версиями | * | * |
| Выпуск MATLAB/Simulink R2018b | * | Полная интеграция | Интеграция между версиями | Интеграция между версиями | Интеграция между версиями | Интеграция между версиями | * |
| Выпуск MATLAB/Simulink R2019a | * | * | Полная интеграция | Интеграция между версиями | Интеграция между версиями | Интеграция между версиями | * |
| Выпуск MATLAB/Simulink R2019b | * | * | * | Полная интеграция | * | * | * |
| Выпуск MATLAB/Simulink R2020a | * | * | * | * | Полная интеграция | * | * |
| Выпуск MATLAB/Simulink R2020b | * | * | * | * | * | Полная интеграция | Интеграция между версиями |
| Выпуск MATLAB/Simulink R2021a | * | * | * | * | * | * | Полная интеграция |
Примечание
Пустые ячейки (*) в предыдущей таблице представляют поддержку MATLAB и Simulink без интеграции. См. раздел Переход назад к модели.
Если MATLAB и Polyspace относятся к одной версии, их можно интегрировать после установки путем вызова polyspacesetup. См. раздел Интеграция полиспейса с MATLAB или Simulink из той же версии.
Вы можете:
Выполните анализ Polyspace из редактора Simulink или из окна команд MATLAB для кода C/C + +, созданного из модели или включенного в модель в качестве пользовательского кода. Аннотирование блоков Simulink и переход назад к модели из интерфейса пользователя Polyspace.
См. раздел Анализ пространства в Simulink.
Выполните анализ Polyspace для кода C/C + +, созданного из кода MATLAB с помощью приложения MATLAB Coder™ App (если у вас есть Embedded Coder ®).
См. раздел Анализ пространства в кодере MATLAB.
Выполните анализ Polyspace для рукописного кода C/C + + с помощью сценариев MATLAB.
См. раздел Анализ в пространстве с помощью сценариев MATLAB.
Можно интегрировать Polyspace с MATLAB или Simulink из более ранней версии. См. раздел Интеграция Polyspace с MATLAB или Simulink Installation из более ранней версии.
Эта интеграция между версиями обеспечивает ограниченные функциональные возможности. В потоке операций для всех версий можно:
Вызовите эти функции в окне команд MATLAB для выполнения анализа Polyspace для кода C/C + +, созданного с помощью встроенного кодера.
Если имеется MATLAB R2020b или более поздней версии, используйте pslinkrunCrossRelease вместо pslinkrun. См. раздел Запуск Polyspace для кода, созданного с помощью предыдущих версий Simulink.
Вернитесь к модели Simulink из пользовательского интерфейса Polyspace.
Нельзя:
Запустите анализ Polyspace созданного кода из Simulink Editor или приложения MATLAB Coder App.
Запустите анализ Polyspace пользовательского кода, включенного в модели, или рукописного кода C/C + + в окне команд MATLAB.
Запустите анализ Polyspace кода C/C + +, созданного из кода MATLAB, в окне команд MATLAB.
Можно вернуться к модели Simulink из интерфейса пользователя Polyspace без интеграции Polyspace с MATLAB/Simulink. Как правило, Polyspace не интегрируется с MATLAB и Simulink, если:
Ваш MATLAB или Simulink из более свежего выпуска, чем ваш Polyspace.
Ваш MATLAB или Simulink более четырех выпусков позади вашего Polyspace.
Кроме того, некоторые конкретные выпуски MATLAB/Simulink и Polyspace не интегрируются. См. таблицу на этой странице.
Для возврата к модели из пользовательского интерфейса без интеграции Polyspace и MATLAB/Simulink:
Определите комментарии в коде, которые действуют как ссылки на модель Simulink. На вкладке «Сервис» > «Установки» > «Разное» выберите инструмент создания кода в контекстном меню «Комментарии к коду», которые действуют как связи кода с моделью. Polyspace распознает встроенный кодер, кодер MATLAB и TargetLink. Если используется другой инструмент создания кода, выберите «Определяемый пользователем». В поле Комментарии, начиная с укажите префиксы комментариев кода, которые действуют как ссылки.
На панели «Источник» интерфейса пользователя Polyspace щелкните комментарии кода, которые отображаются в виде гиперссылок.
polyspacesetup | pslinkrunCrossRelease