В этом примере показано, как использовать инспектор данных моделирования для просмотра выходных данных блока проверки модели в тестируемой системе. Если у вас есть Simulink ® Test™, блоки проверки модели возвращаютсяPass, Fail, или Untested результаты на каждом временном шаге. Изучив результаты блока проверки модели, можно:
Определите время моделирования при возникновении сбоя.
Сравните результаты проверки с другими соответствующими сигналами.
Отслеживание сбоев из инспектора расчетных данных обратно в модель.
Дополнительные сведения см. в разделе Блоки проверки модели.
В этом примере блок подсистемы Controller моделирует систему круиз-контроля в автомобиле. Эта подсистема выводит значение дросселя на основе разности между фактической и целевой скоростями.
Подсистема верификации Safety Properties использует блок подтверждения для проверки того, что система отключается при нажатии тормоза в течение трех последовательных шагов времени.
Смоделировать модель и просмотреть выходные данные блока Assertion в инспекторе данных моделирования.
На вкладке Моделирование (Simulation) щелкните Выполнить (Run).
На вкладке Моделирование (Simulation) в разделе Просмотр результатов (Review Results) выберите Инспектор данных (Data Inspector).
На панели навигации Инспектора данных моделирования выберите BrakeAssertion.
Результаты показывают, что утверждение не проходит через 0,23 секунды.
Проверьте причину отказа, составив график значений тормозных и дроссельных сигналов.
Щелкните правой кнопкой мыши throt и выберите Log Selected Signals.
Моделирование модели.
Настройте инспектор данных моделирования с помощью двух вложенных диаграмм.
На панели навигации «Инспектор данных моделирования» выберите сигналы для печати. Для первого вложенного графика выберите BrakeAssertion. Для второго вложенного графика выберите Controller:1 (дроссель) и Inputs:3 (тормоз).
Результаты показывают, что нажатие на тормоз в течение 0,2 секунды не отключает дроссель.
Найдите блок, который создает результат проверки, отслеживая результат из инспектора данных моделирования обратно в модель. На панели навигации Инспектора данных моделирования щелкните правой кнопкой мыши BrakeAssertion и выберите Подсветить в модели (Highlight in Model). Редактор открывает подсистему проверки и выделяет блок Assertion.
Утверждение | sltest.getAssessments | Подразумевает (Simulink Design Verifier) | Подтверждение предположения (Simulink Design Verifier)