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