В этом примере показано, как связать подсистемы проверки с моделями. Подсистемы проверки можно использовать для моделирования функциональных требований и проверки их в моделировании. Прослеживаемость между моделями проверки и внедрения позволяет суммировать результаты анализа и тестирования в редакторе требований.
В командной строке введите
open_system('slvnvdemo_powerwindow_vs')
Модель проверки определяет свойства и требования для slvnvdemo_powerwindowController. Подсистемы проверки включают в себя логику, которая проверяет поведение системы при обнаружении препятствия:
Ответ на препятствие: При обнаружении препятствия контроллер должен дать down команда на 1 секунду.
Требование смоделировано в Verification Subsystem2.
open_system('slvnvdemo_powerwindow_vs/Verification Subsystem2')
В конструкторской модели реакция на препятствие реализована в emergencyDown состояние:
Ссылка из Verification Subsystem2 в emergencyDown состояние:
Дважды щелкните блок «Модель», чтобы открыть slvnvdemo_powerwindow.
В control щелкните правой кнопкой мыши состояние emergencyDown и выберите Requirements > Select for Linking with Simulink.
В slvnvdemo_powerwindow_vs модель, щелкните правой кнопкой мыши Verification Subsystem2 и выберите «Требования» > «Добавить ссылку на выбранный объект».
В slvnvdemo_powerwindow_vs модель, откройте приложение Requirements Manager. Значок появится на Verification Subsystem2, указывая ссылку, и ссылка появляется в Инспекторе свойств.
Измените тип связи на «Проверка». Рядом со ссылкой в Инспекторе свойств щелкните значок «Показать в представлении ссылок». Выберите ссылку в таблице, а затем измените свойство ссылки Тип с Implements кому Verifies.
Эти команды выгружают наборы требований и закрывают открытые модели.
slreq.clear; % Closes open requirements sets without saving changes close_system('slvnvdemo_powerwindow_vs',0)