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