В этом примере показано, как использовать Инспектора Данных моделирования, чтобы просмотреть выход от блока верификации модели в системе под тестом. Если у вас есть 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