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