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