主要内容

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

此示例使用：

打开脚本

此示例显示如何使用模拟数据检查器在被测系统中查看来自模型验证块的输出。如果您有Simulink金宝app®TEST™，则模型验证块返回经过那失败， 或者不知所措结果每次步骤。通过检查模型验证块的结果，您可以：

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

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

  • 将模拟数据检查器的跟踪失败返回到模型。

有关更多信息，请参阅模型验证块。

使用断言块验证模型行为

在此示例中，子系统块控制器在汽车中模拟巡航控制系统。该子系统基于实际和目标速度之间的差异输出节气门值。

验证子系统安全性质用A.断言块检查系统脱离制动器3连续三个时间步长时脱离。

确定故障仿真时间

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

  1. 在里面模拟选项卡，单击跑。

  2. 在里面模拟标签，下面审查结果， 选择数据检查员。

  3. 在“仿真数据检测器导航”窗格中，选择Brakeassertion.。

结果表明断言在0.23秒时失效。

使用其他信号进行比较验证结果

通过绘制制动器和节气门信号的值来检查失败的原因。

  1. 右键单击悸信号和选择日志选定的信号。

  2. 模拟模型。

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

  4. 在“仿真数据检测器导航”窗格中，选择要绘制的信号。对于第一个子图，请选择Brakeassertion.。对于第二个子图，选择控制器：1（油门）和输入：3（制动）。

结果表明，按0.2秒按下制动器不会脱离油门。

追踪失败返回模型

通过将模拟数据检查器跟踪返回模型来查找通过将结果进行跟踪来产生验证结果的块。在“仿真数据检测器导航”窗格中，右键单击Brakeassertion.并选择模型中突出显示。编辑器打开验证子系统并突出显示断言块。

也可以看看

||（金宝appSimulink Design Verifier）|（金宝appSimulink Design Verifier）