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