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