Если у вас есть большая модель, можно доказать свойства подсистемы в модели и рассмотреть исследования в меньших, управляемых отчетах. Рабочий процесс для доказательства свойств в подсистеме:
Откройте модель, которая содержит подсистему.
Сделайте подсистему атомарной.
Запустите Simulink® Design Verifier™ с помощью опции Prove Properties of Subsystem.
Рассмотрите результаты.
Пример в Генерирует Тесты для Подсистемы, объясняет, как сгенерировать тесты для Подсистемы контроллера в модели Cruise Control Test Generation. Шаги для доказательства свойств похожи на тех для генерации тестов, за исключением того, что вы выбираете опцию Prove Properties of Subsystem вместо опции Generate Tests for Subsystem.