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

Polyspace® поддержка MATLAB® или Simulink® изменяется в зависимости от их соответствующих релизов. Polyspace полностью поддерживает MATLAB и Simulink из того же релиза, предлагая полное интегрирование. Polyspace поддерживает MATLAB и Simulink из предыдущих релизов с перекрестным интегрированием. См. таблицу.

Примечание

Пустые камеры (*) в предыдущей таблице представляют поддержку MATLAB и Simulink без интегрирования. См. «Навигация к модели».

Полное интегрирование

Если MATLAB и Polyspace из одного релиза, можно интегрировать их после установки по телефону polyspacesetup. Смотрите Интегрирация Polyspace с MATLAB или Simulink из того же релиза.

Вы можете:

  • Запустите анализ Polyspace из редактора Simulink или из Командного окна MATLAB на коде C/C + +, который генерируется из модели или включается в качестве пользовательского кода в модель. Аннотируйте блоки Simulink и перейдите назад к модели из пользовательского интерфейса Polyspace.

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

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

    Смотрите Анализ Polyspace в MATLAB Coder.

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

    Смотрите Анализ Polyspace со скриптами MATLAB.

Кросс-Release Интегрирования

Можно интегрировать Polyspace с MATLAB или Simulink из более раннего релиза. См. раздел Интеграция Polyspace с MATLAB или Simulink Installation из более раннего релиза.

Это перекрестное интегрирование предлагает ограниченные функциональные возможности. В кросс-релизном рабочем процессе можно:

Вы не можете:

  • Запустите 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 щелкните комментарии кода, которые отображаются как гиперссылки.

См. также

|

Похожие темы