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