Поддержка MATLAB® или Simulink® Polyspace® варьируется в зависимости от их соответствующих релизов. Polyspace полностью поддерживает MATLAB и Simulink от того же релиза, предлагая полную интеграцию. Polyspace поддерживает MATLAB и Polyspace от различных релизов, предлагая интегрирование перекрестного релиза. Polyspace поддерживает определенные релизы MATLAB без интегрирования.
| Релиз R2017b Polyspace | Релиз R2018a Polyspace | Релиз R2018b Polyspace | Релиз R2019a Polyspace | Релиз R2019b Polyspace | Релиз R2020a Polyspace | Релиз R2020b Polyspace | |
| Релиз R2017b MATLAB | Полная интеграция | Перекрестный выпустите интегрирование | Перекрестный выпустите интегрирование | Перекрестный выпустите интегрирование | Перекрестный выпустите интегрирование | ||
| Релиз R2018a MATLAB | Полная интеграция | Перекрестный выпустите интегрирование | Перекрестный выпустите интегрирование | Перекрестный выпустите интегрирование | Перекрестный выпустите интегрирование | ||
| Релиз R2018b MATLAB | Полная интеграция | Перекрестный выпустите интегрирование | Перекрестный выпустите интегрирование | Перекрестный выпустите интегрирование | Перекрестный выпустите интегрирование | ||
| Релиз R2019a MATLAB | Полная интеграция | Перекрестный выпустите интегрирование | Перекрестный выпустите интегрирование | Перекрестный выпустите интегрирование | |||
| Релиз R2019b MATLAB | Полная интеграция | ||||||
| Релиз R2020a MATLAB | Полная интеграция | ||||||
| Релиз R2020b MATLAB | Полная интеграция |
Пустая ячейка в предыдущей таблице представляет поддержку MATLAB без интегрирования. Смотрите Поддержку MATLAB без Интегрирования Polyspace.
Если MATLAB и Polyspace от того же релиза, можно интегрировать их после установки путем вызова polyspacesetup. Смотрите интегрируют Polyspace с MATLAB и установкой Simulink от того же релиза.
Вы можете:
Запустите анализ Polyspace кода C/C++, который сгенерирован из модели или включен как пользовательский код в модели из Редактора Simulink или от командного окна MATLAB. Аннотируйте блоки 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 с Установкой Simulink от Более раннего Релиза.
Это интегрирование перекрестного релиза предлагает ограниченную функциональность. В рабочем процессе перекрестного релиза вы можете:
Запустите анализ Polyspace сгенерированного кода C/C++ в командном окне MATLAB с помощью этих функций:
Перейдите назад к модели Simulink от пользовательского интерфейса Polyspace.
Вы не можете:
Анализируйте пользовательский код, включенный в модели или рукописный код.
Запустите исследования Polyspace с Редактора Simulink или Приложения MATLAB Coder.
Анализируйте код C/C++, сгенерированный при помощи Приложения MATLAB Coder.
Интеграция определенных релизов Polyspace с определенными релизами MATLAB не поддерживается. Обычно Polyspace не объединяется с MATLAB если:
Ваш MATLAB от более свежего релиза, чем ваш Polyspace.
Ваш MATLAB является больше чем четырьмя релизами позади вашего Polyspace.
Кроме того, некоторые определенные релизы MATLAB и Polyspace не объединяются. См. таблицу на этой странице.
При использовании такой комбинации MATLAB и Polyspace, вы не можете запустить анализ Polyspace с Редактора Simulink или в командном окне MATLAB. Когда анализ кода сгенерировал при помощи Embedded Coder, можно вернуться к модели от пользовательского интерфейса Polyspace.
Добавлять назад к модели функциональность:
В пользовательском интерфейсе Polyspace перейдите к Tools> Preferences и откройте вкладку Miscellaneous.
Из Комментариев к коду контекстного меню, которые действуют как ссылки кода к модели, выберите Embedded Coder.
