Модель образцовой верификацией

Только для моделей то использование сгенерированный код Embedded Coder®. Анализируйте каждую модель или модель, на которую ссылаются, индивидуально. Если у вас есть крупный проект, эта опция может помочь построить ваш анализ из модулей.

Образцовая категория параметров конфигурации: Polyspace

Настройки

Значение по умолчанию: 'off'

'off'

Polyspace® анализирует ваши модели вместе. Взаимодействия модели анализируются.

На

Polyspace анализирует вашу модель и каждую из ее моделей, на которые ссылаются, в изоляции. Эта опция не анализирует взаимодействия модели.

Информация о командной строке

Используйте свойство pslinkoptions ModelRefByModelRefVerif.

Функция pslinkoptions позволяет вам создавать Polyspace, опции возражают, что можно снова использовать для многоуровневых моделей. Можно также использовать функцию set_param, чтобы сопоставить это свойство с моделью. Используйте параметр PSModelRefByModelRefVerif с тем же значением что касается свойства pslinkoptions ModelRefByModelRefVerif. См. pslinkoptions Свойства.

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

|

Похожие темы