Поддержка Polyspace MATLAB и Simulink от различных релизов

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.

    Смотрите анализ Bug Finder в Simulink.

  • Запустите анализ Polyspace кода C/C++, который сгенерирован из кода MATLAB при помощи Приложения MATLAB Coder™ (если у вас есть Embedded Coder®).

    Смотрите анализ Bug Finder в MATLAB Coder.

  • Запустите анализ Polyspace рукописного кода C/C++ при помощи скриптов MATLAB.

    Смотрите анализ Bug Finder со Скриптами 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 кликните по комментариям к коду, которые появляются как гиперссылки.

Смотрите также

|

Похожие темы