Только для моделей то использование сгенерированный код Embedded Coder®. Укажите как глубоко в иерархию модели, чтобы анализировать.
Категория параметров конфигурации модели: Polyspace
Значение по умолчанию: Current model only
Current model onlyPolyspace® анализирует только текущую модель
Polyspace анализирует текущую модель и модели, на которые ссылаются, которые являются одним уровнем ниже текущей модели.
Polyspace анализирует текущую модель и модели, на которые ссылаются, которые являются до двух уровней ниже текущей модели.
Polyspace анализирует текущую модель и модели, на которые ссылаются, которые являются до трех уровней ниже текущей модели.
AllPolyspace анализирует текущую модель и все модели, на которые ссылаются.
Используйте pslinkoptions свойство ModelRefVerifDepth.
pslinkoptions функция позволяет вам создавать объект опций Polyspace, который можно снова использовать для многоуровневых моделей. Можно также использовать set_param (Simulink) функция, чтобы сопоставить это свойство с моделью. Используйте параметр PSModelRefVerifDepth с тем же значением что касается pslinkoptions свойство ModelRefVerifDepth. См. pslinkoptions Свойства.
pslinkoptions | Свойства pslinkoptions