Только для моделей то использование сгенерированный код Embedded Coder®. Анализируйте каждую модель или модель, на которую ссылаются, индивидуально. Если у вас есть крупный проект, эта опция может помочь построить ваш анализ из модулей.
Категория параметров конфигурации модели: Polyspace
Значение по умолчанию: Off
Polyspace® анализирует ваши модели вместе. Взаимодействия модели анализируются.
Polyspace анализирует вашу модель и каждую из ее моделей, на которые ссылаются, в изоляции. Эта опция не анализирует взаимодействия модели.
Используйте pslinkoptions
свойство ModelRefByModelRefVerif
.
pslinkoptions
функция позволяет вам создавать Polyspace, опции возражают, что можно снова использовать для многоуровневых моделей. Можно также использовать set_param
(Simulink) функция, чтобы сопоставить это свойство с моделью. Используйте параметр PSModelRefByModelRefVerif
с тем же значением что касается pslinkoptions
свойство ModelRefByModelRefVerif
. См. pslinkoptions Свойства.
pslinkoptions
| Свойства pslinkoptions