这个例子展示了如何使用仿真数据检查器来查看被测试系统中的模型验证块的输出。如果您有Simulink金宝app®Test™,模型验证块会返回通过
那失败
, 要么不知所措
结果每次步骤。通过检查模型验证块的结果,您可以:
发生故障时确定模拟时间。
将验证结果与其他相关信号进行比较。
将模拟数据检查器的跟踪失败返回模型。
有关更多信息,请参阅模型验证块。
在此示例中,子系统块控制器
在汽车中塑造巡航控制系统。该子系统基于实际和目标速度之间的差异输出节气门值。
验证子系统安全性质
用A.断言在连续三个时间步骤应用制动器时检查系统脱离。
模拟模型并查看模拟数据检查器中断言块的输出。
在里面模拟选项卡,单击跑。
在里面模拟标签,下面审查结果, 选择数据检查员。
在“模拟数据检测器导航”窗格中,选择Brakeassertion.
。
结果表明,断言在0.23秒时失效。
通过绘制制动器和节气门信号的值来检查失败的原因。
右键单击throt.
信号和选择日志选定的信号。
模拟模型。
使用两个子图配置模拟数据检查器。
在“仿真数据检测器导航”窗格中,选择要绘制的信号。对于第一个子图,请选择Brakeassertion.
。对于第二个次要情节,选择控制器:1
(节流阀)和输入:3
(制动)。
结果表明,按0.2秒按下制动器不会脱离油门。
通过将模拟数据检查器跟踪返回模型来查找产生验证结果的块。在“仿真数据检测器导航”窗格中,右键单击Brakeassertion.
并选择亮点模型。编辑器打开验证子系统并突出显示断言块。
断言|sltest.getAssessments.
|暗示(金宝appSimulink Design Verifier)|证明假设(金宝appSimulink Design Verifier)