Поддержка Polyspace® MATLAB® или Simulink® варьируется в зависимости от их соответствующих релизов. Polyspace полностью поддерживает MATLAB и Simulink от того же релиза, предлагая полную интеграцию. Polyspace поддерживает MATLAB и Simulink от более ранних релизов с интегрированием перекрестного релиза. См. таблицу.
| Релиз R2018a Polyspace | Релиз R2018b Polyspace | Релиз R2019a Polyspace | Релиз R2019b Polyspace | Релиз R2020a Polyspace | Релиз R2020b Polyspace | Релиз R2021a Polyspace | |
| Релиз R2018a MATLAB/Simulink | Полная интеграция | Перекрестный выпустите интегрирование | Перекрестный выпустите интегрирование | Перекрестный выпустите интегрирование | Перекрестный выпустите интегрирование | * | * |
| Релиз R2018b MATLAB/Simulink | * | Полная интеграция | Перекрестный выпустите интегрирование | Перекрестный выпустите интегрирование | Перекрестный выпустите интегрирование | Перекрестный выпустите интегрирование | * |
| Релиз R2019a MATLAB/Simulink | * | * | Полная интеграция | Перекрестный выпустите интегрирование | Перекрестный выпустите интегрирование | Перекрестный выпустите интегрирование | * |
| Релиз R2019b MATLAB/Simulink | * | * | * | Полная интеграция | * | * | * |
| Релиз R2020a MATLAB/Simulink | * | * | * | * | Полная интеграция | * | * |
| Релиз R2020b MATLAB/Simulink | * | * | * | * | * | Полная интеграция | Перекрестный выпустите интегрирование |
| Релиз R2021a MATLAB/Simulink | * | * | * | * | * | * | Полная интеграция |
Примечание
Пустые ячейки (*) в предыдущей таблице представляют MATLAB и поддержку Simulink без интегрирования. Смотрите Перешли Назад к Модели.
Если MATLAB и Polyspace от того же релиза, можно интегрировать их после установки путем вызова polyspacesetup. Смотрите интегрируют Polyspace с MATLAB или Simulink от того же релиза.
Вы можете:
Запустите анализ Polyspace из Редактора Simulink или от командного окна MATLAB на коде C/C++, который сгенерирован из модели или включен как пользовательский код в модели. Аннотируйте блоки Simulink и Перейдите назад к модели от пользовательского интерфейса Polyspace.
Смотрите анализ Polyspace в Simulink.
Запустите анализ Polyspace кода C/C++, который сгенерирован из кода MATLAB при помощи Приложения MATLAB Coder™ (если у вас есть Embedded Coder®).
Смотрите анализ Polyspace в MATLAB Coder.
Запустите анализ Polyspace рукописного кода C/C++ при помощи скриптов MATLAB.
Смотрите анализ Polyspace со Скриптами MATLAB.
Можно интегрировать Polyspace с MATLAB или Simulink от более раннего релиза. Смотрите Интегрируют Polyspace с MATLAB или Установкой Simulink от Более раннего Релиза.
Это интегрирование перекрестного релиза предлагает ограниченную функциональность. В рабочем процессе перекрестного релиза вы можете:
Вызовите эти функции в командном окне MATLAB, чтобы запустить анализ Polyspace кода C/C++, сгенерированного при помощи Embedded Coder.
Если у вас есть MATLAB R2020b или позже, использовать pslinkrunCrossRelease вместо pslinkrun. Смотрите запущенный Polyspace на коде, сгенерированном при помощи предыдущих релизов Simulink.
Перейдите назад к модели Simulink от пользовательского интерфейса Polyspace.
Вы не можете:
Запустите анализ Polyspace сгенерированного кода из Редактора Simulink или Приложения MATLAB Coder.
Запустите анализ 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. Во вкладке Tools> Preferences> Miscellaneous выберите свой инструмент генерации кода из Комментариев к коду контекстного меню, которые действуют как ссылки кода к модели. Polyspace распознает Embedded Coder, MATLAB Coder и TargetLink. Если вы используете различный генерирующийся инструмент кода, выберите User Defined. В поле Comments beginning with задайте префиксы комментариев к коду, которые действуют как ссылки.
В Исходной панели пользовательского интерфейса Polyspace кликните по комментариям к коду, которые появляются как гиперссылки.
polyspacesetup | pslinkrunCrossRelease
