Соединитесь с требованиями, смоделированными в Simulink
В этом примере показано, как соединиться между подсистемами верификации и моделями. Можно использовать подсистемы верификации, чтобы смоделировать функциональные требования и проверить их в симуляции. Трассируемость между моделями верификации и реализации позволяет вам обобщать анализ и результаты испытаний в Редакторе Требований.
Верификация и модели проекта
В командной строке войти
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.
Очистка
Эти команды разгружают наборы требований и близко открывают модели.
slreq.clear; % Closes open requirements sets without saving changes close_system('slvnvdemo_powerwindow_vs',0)