Ссылка на требования, смоделированные в 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и выберите «Требования» > «Добавить ссылку на выбранный объект».В
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)