通过使用仿真数据检查器检查模型验证结果
此示例显示了如何使用仿真数据检查器从测试系统中的模型验证块中查看输出。如果您具有Simulin金宝appk®Test™,则型号验证块返回经过
,,,,失败
, 或者未经测试
每个时间步骤的结果。通过检查模型验证块的结果,您可以:
确定发生故障时的模拟时间。
将验证结果与其他相关信号进行比较。
从仿真数据检查器回到模型中的跟踪故障。
有关更多信息,请参阅模型验证块。
用断言验证模型行为
在此示例中,子系统块控制器
建模汽车中的巡航控制系统。该子系统根据实际速度和目标速度之间的差异输出节气门值。
验证子系统安全性能
使用一个断言封锁以检查系统是否连续三个时间步骤应用制动器时是否会脱离。
确定故障的模拟时间
模拟模型并查看模拟数据检查器中断言块的输出。
在里面模拟选项卡,单击跑。
在里面模拟标签,下审查结果, 选择数据检查员。
在模拟数据检查器导航窗格中,选择
布拉克塞尔
。
结果表明,断言在0.23秒失败。
将验证结果与其他信号进行比较
通过绘制制动器和节气门信号的值来检查故障原因。
右键单击
throt
信号并选择日志选定的信号。模拟模型。
用两个子图配置模拟数据检查器。
在模拟数据检查器导航窗格中,选择要绘制的信号。对于第一个子图,选择
布拉克塞尔
。对于第二个子图,选择控制器:1
(油门)和输入:3
(制动)。
结果表明,在0.2秒时按制动不会脱离油门。
追踪故障回到模型
通过将仿真数据检查器从模拟回到模型的结果追踪来找到产生验证结果的块。在模拟数据检查器导航窗格中,右键单击布拉克塞尔
并选择模型中的亮点。编辑器打开验证子系统并突出显示断言块。
也可以看看
sltest.getassessments
|断言|暗示(金宝appSimulink设计验证者)|证明假设(金宝appSimulink设计验证者)