Модель по верификации модели

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

Категория параметров конфигурации модели: Polyspace

Настройки

По умолчанию: Off

Прочь

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

На

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

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

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

The pslinkoptions функция позволяет вам создать Объект опций Polyspace, которую можно повторно использовать для нескольких моделей. Вы также можете использовать set_param (Simulink) функция для связи этого свойства с моделью. Используйте параметр PSModelRefByModelRefVerif с тем же значением, что и для pslinkoptions свойства ModelRefByModelRefVerif. См. Pslinkoptions Properties.

См. также

|

Похожие темы