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