Соединитесь с требованиями, смоделированными в Simulink

В этом примере показано, как соединиться между подсистемами верификации и моделями. Можно использовать подсистемы верификации, чтобы смоделировать функциональные требования и проверить их в симуляции. Трассируемость между моделями верификации и реализации позволяет вам обобщать анализ и результаты испытаний в Редакторе Требований.

Верификация и модели проекта

В командной строке войти

open_system('slvnvdemo_powerwindow_vs')

Модель верификации задает свойства и требования для slvnvdemo_powerwindowController. Подсистемы верификации включают логику, которая проверяет поведение системы, когда препятствие обнаруживается:

  • Ответ препятствия: Когда препятствие будет обнаружено, контроллер должен дать down команда в течение 1 секунды.

Требование моделируется в Verification Subsystem2.

open_system('slvnvdemo_powerwindow_vs/Verification Subsystem2')

  • В модели проекта ответ препятствия реализован в emergencyDown состояние:

Соединитесь от верификации до модели проекта

Соединитесь от Verification Subsystem2 к emergencyDown состояние:

  1. Дважды кликните на блоке Model, чтобы открыть slvnvdemo_powerwindow.

  2. В control стройте диаграмму, щелкните правой кнопкой по emergencyDown, утверждают и выбирают Requirements> Select for Linking with Simulink.

  3. В slvnvdemo_powerwindow_vs модель, щелчок правой кнопкой Verification Subsystem2 и выберите Requirements> Add Link to Selected Object.

  4. В slvnvdemo_powerwindow_vs модель, откройте менеджера по Требованиям приложение. Значок появляется на Verification Subsystem2, указание на ссылку и ссылку появляется в Property Inspector.

  5. Изменитесь тип ссылки к Проверяет. Рядом со ссылкой в Property Inspector кликните по Показу в значке Представления ссылок. Выберите ссылку в таблице, затем измените Тип свойства ссылок от Implements к Verifies.

Для просмотра документации необходимо авторизоваться на сайте