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