В этом примере показано, как соединиться между подсистемами верификации и моделями. Можно использовать подсистемы верификации, чтобы смоделировать функциональные требования и проверить их в симуляции. Трассируемость между моделями верификации и реализации позволяет вам суммировать результаты анализа и тестирования в редакторе требований.
В командной строке введите
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 и выберите «Требования» > «Добавить ссылку на выбранный объект».
В slvnvdemo_powerwindow_vs модель, откройте приложение Requirements Manager. На Verification Subsystem2 появляется значок, указывающий ссылку, и ссылка появится в Property Inspector.
Измените тип ссылки на «Проверяет». Рядом со ссылкой в Property Inspector щелкните значок Показать в представлении ссылок. Выберите ссылку в таблице, затем измените свойство link Type от Implements на Verifies.
Эти команды выгружают наборы требований и закрывают открытые модели.
slreq.clear; % Closes open requirements sets without saving changes close_system('slvnvdemo_powerwindow_vs',0)