Исследуйте результаты Model Verification при помощи инспектора данных моделирования
В этом примере показано, как использовать Инспектора Данных моделирования, чтобы просмотреть вывод от блока верификации модели в системе под тестом. Если у вас есть Simulink® Test™, блоки верификации модели возвращают Pass, Fail, или Untested результаты на каждом временном шаге. Путем исследования результатов блока верификации модели вы можете:
Определите время симуляции, когда отказ произойдет.
Сравните результаты верификации с другими соответствующими сигналами.
Проследите отказы от Инспектора Данных моделирования назад к модели.
Для получения дополнительной информации смотрите Блоки Model Verification.
Проверьте поведение модели с блоком утверждения
В этом примере, блоке 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.
Смотрите также
sltest.getAssessments | Assertion | Подразумевает (Simulink Design Verifier) | Proof Assumption (Simulink Design Verifier)