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