В этом примере показано, как соединиться между подсистемами верификации и моделями. Можно использовать подсистемы верификации, чтобы смоделировать функциональные требования и проверить их в симуляции. Трассируемость между моделями верификации и реализации позволяет вам обобщать анализ и результаты испытаний в Редакторе Требований.
В командной строке войти
open_system('slvnvdemo_powerwindow_vs')
Модель верификации задает свойства и требования для slvnvdemo_powerwindowController. Подсистемы верификации включают логику, которая проверяет поведение системы, когда препятствие обнаруживается:
Ответ препятствия: Когда препятствие будет обнаружено, контроллер должен дать down команда в течение 1 секунды.
Требование моделируется в Verification Subsystem2.
open_system('slvnvdemo_powerwindow_vs/Verification Subsystem2')
В модели проекта ответ препятствия реализован в emergencyDown состояние:
Соединитесь от Verification Subsystem2 к emergencyDown состояние:
Дважды кликните на блоке Model, чтобы открыть slvnvdemo_powerwindow.
В control стройте диаграмму, щелкните правой кнопкой по emergencyDown, утверждают и выбирают Requirements> Select for Linking with Simulink.
В slvnvdemo_powerwindow_vs модель, щелчок правой кнопкой Verification Subsystem2 и выберите Requirements> Add Link to Selected Object.
В slvnvdemo_powerwindow_vs модель, откройте менеджера по Требованиям приложение. Значок появляется на Verification Subsystem2, указание на ссылку и ссылку появляется в Property Inspector.
Изменитесь тип ссылки к Проверяет. Рядом со ссылкой в Property Inspector кликните по Показу в значке Представления ссылок. Выберите ссылку в таблице, затем измените Тип свойства ссылок от Implements к Verifies.
