Можно использовать Simulink, чтобы смоделировать конструктивные требования. Например, можно использовать блоки верификации, чтобы задать желаемые системные свойства и смоделировать конструктивные требования. Requirements Management Interface (RMI) позволяет вам создавать навигационные ссылки между требованиями, смоделированными в Simulink, связанных объектах Simulink и связанных тестах. Этот пример показывает, как использовать RMI, чтобы создать и просмотреть ссылки на требования, смоделированные в Simulink.

Открытая модель в качестве примера

Откройте Модели контроллеров Окна со стеклоподъемником путем ввода команды:

open_system('slvnvdemo_powerwindowController');

Подсистемы верификации для моделей контроллеров окна со стеклоподъемником

Откройте модель верификации, 'Контроллер Окна со стеклоподъемником Временная Спецификация Свойства'. Эта модель задает свойства и требования модели slvnvdemo_powerwindowController.

Рассмотрите следующие конструктивные требования для контроллера:

  1. Требование 1 (Ответ Препятствия) - Каждый раз, когда препятствие обнаруживается, контроллер, должно дать вниз команда в течение одной секунды. Это требование моделируется в Верификации Subsystem2.

  2. Требование 2 (Автовниз функция) - Если драйвер нажимает вниз кнопка меньше 1 секунды, контроллер, продолжает выходить вниз команда, пока конец не был достигнут, или драйвер нажимает кнопка. Это требование моделируется в Верификации Subsystem3

Дополнительную информацию см. в примере Design Verifier Temporal Properties.

open_system('slvnvdemo_powerwindow_vs');

Создайте ссылку RMI на объект Simulink

Создайте ссылку RMI из Верификации Subsystem2 к состоянию emergencyDown в модели slvnvdemo_powerwindowController.

  1. Откройте slvnvdemo_powerwindowController модель.

  2. Щелкните правой кнопкой по emergencyDown, утверждают и выбирают Requirements Traceability> Select для соединения с Simulink.

  3. Щелкните правой кнопкой по Verification Subsystem2 и выберите Requirements Traceability>, добавляют ссылку к выбранному объекту.

  4. Щелкните правой кнопкой по Верификации Subsystem2. Новая ссылка RMI появляется наверху подменю Requirements Traceability.

  5. Закройте slvnvdemo_powerwindowController модель.

  6. Щелкните правой кнопкой по Verification Subsystem2. Переместитесь по новой ссылке наверху подменю Requirements Traceability. Модель открывается, и состояние emergencyDown подсвечено.

Соединитесь одновременно с несколькими объектами Simulink

Можно соединиться с выбором кратного объектов Simulink. Используйте ключ Shift, чтобы выбрать все следующие объекты как в фигуре ниже.

  1. Щелкните правой кнопкой по этой группе объектов, выберите Requirements Traceability> Select для соединения с Simulink. Старайтесь не потерять выборы, когда вы щелкнете правой кнопкой.

  2. Щелкните правой кнопкой по Verification Subsystem3 и выберите Requirements Traceability> Link к 4 выбранным объектам.

Соединитесь с группой объектов Simulink

  1. Щелкните правой кнопкой по блоку NAND в Global Assumptions и выберите Requirements Traceability> Select для соединения с Simulink.

  2. Перетащите мышь через endstop и входные параметры препятствия в slvnvdemo_powerwindowController, чтобы выбрать оба входных параметров.

  3. Щелкните правой кнопкой по этой группе объектов и выберите, добавляют ссылку к выбранному объекту. Старайтесь не потерять выбор.

  4. Нажмите на фон slvnvdemo_powerwindowController, чтобы очистить выбор группы.

  5. Щелкните правой кнопкой по каждому входу и выберите Requirements Traceability, чтобы отобразить новые ссылки. Щелкните по новой ссылке, подтвердите, что NAND подсвечен.

Создайте ссылки для навигации в обоих направлениях

Создать ссылки для навигации в обоих направлениях:

  1. Открытое диалоговое окно Requirements Settings.

  2. Выберите вкладку Selection Linking.

  3. Включите Изменяют место назначения для двунаправленного соединения.

Теперь, когда вы создаете ссылку от одного объекта Simulink до другого, соответствующая ссылка "возврата" также создается.

Подсветите и сообщите о ссылках RMI между объектами Simulink

Создайте ссылки RMI на объекты Simulink таким же образом как ссылки на внешние документы:

  1. В slvnvdemo_powerwindow_vs окне модели выберите Analysis> Requirements Traceability> Highlight Model, чтобы подсветить все ссылки RMI в модели, включая ссылки на объекты Simulink.

  2. В slvnvdemo_powerwindow_vs окне модели выберите Analysis> Requirements Traceability> Generate Report.

  3. В сгенерированном отчете кликните по гиперссылке в любой таблице требований. Это перешло к соответствующему объекту в схеме Simulink.

Очистка

Закройте все открытые модели. Не сохраняйте изменения.

close_system('slvnvdemo_powerwindowController', 0);
close_system('slvnvdemo_powerwindow_vs', 0);
Для просмотра документации необходимо авторизоваться на сайте