主要内容

使用仿真数据检查器检查模型验证结果

这个例子使用了:

打开脚本

这个例子展示了如何使用Simulation Data Inspector来查看被测系统中模型验证块的输出。如果您有Simulink万博1manbetx®Test™，则会返回模型验证块通过，失败,或未测试的每个时间步骤的结果。通过检查模型验证块的结果，您可以:

  • 确定故障发生时的模拟时间。

  • 将验证结果与其他相关信号进行比较。

  • 从仿真数据检查器跟踪故障到模型。

有关更多信息，请参见模型验证块．

使用断言块验证模型行为

在本例中，是子系统块控制器模拟汽车中的巡航控制系统。该子系统根据实际速度和目标速度之间的差值输出油门值。

验证子系统安全属性使用一个断言挡块检查系统是否在连续三个时间步刹时脱离。

确定模拟失效时间

模拟模型并在仿真数据检查器中查看断言块的输出。

  1. 在模拟选项卡上,单击运行．

  2. 在模拟选项卡,在审查结果中,选择数据检查．

  3. 在“模拟数据检查器”导航窗格中，选择BrakeAssertion．

结果显示断言在0.23秒时失败。

将验证结果与其他信号进行比较

通过绘制刹车和油门信号的数值来检查故障的原因。

  1. 右键单击throt信号和选择日志选择信号．

  2. 模拟模型。

  3. 用两个子图配置模拟数据检查器。

  4. 在“模拟数据检查器”导航窗格中，选择要绘制的信号。对于第一个子图，选择BrakeAssertion．对于第二个子图，选择控制器:1(节流阀)和输入:3(制动)。

结果表明，在0.2秒按下刹车并不脱离油门。

将故障追溯到模型

通过跟踪从仿真数据检查器到模型的结果，找到产生验证结果的块。在“模拟数据检查器”导航窗格中，右键单击BrakeAssertion并选择模型高亮显示．编辑器打开验证子系统并突出显示断言块。

另请参阅

||(万博1manbetxSimulink Design Verifier)|(万博1manbetxSimulink Design Verifier)