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