基于模型的设计已成为汽车领域的一个重要课题。在开发方面，工程师通常使用MATLAB等工具进行基于模型的设计^®,仿金宝app真软件^®,Stateflow^®，实现系统的规范和算法。他们通过模拟来验证其实现，并最终生成代码。

在测试方面，工程师通常执行一些活动，例如在循环中建模(MIL)、在循环中软件(SIL)和在循环中硬件(HIL)测试。在所有这些测试阶段之后，当代码闪烁到ECU并在主车辆上进行测试时，可能仍然会检测到一些错误的行为。此时，就需要对代码进行有效的深度调试。

调试从Simulink模型生成的代码和对ECU的运行由商业校金宝app准和验证工具（例如INCA）的装置是可能的。这些工具获取信号，在物理表示显示它们，并记录下来以供进一步处理。这种方法是代表数学计算Simulink的信号是有用的金宝app，但对于Stateflow的状态图不起作用。开发者需要创建代表当前激活状态的变量，这个变量的甚至是情节并不能帮助这么多，如果状态图是非常大的。

这个演示展示了一个用于调试Stateflow生成的代码的新概念，该代码直接在主车辆的ECU上运行。这是通过使用物理CAN总线上的CAN协议在Simulink和ECU之间进行外部通信来实现的。金宝app使用这种方法，工程师可以通过观察MATLAB、Simulink和Stateflow环境中动态的状态图来分析在ECU上运行的状态流生成的代码，这些状态图代表了软件的当前状态。金宝app这一思想也适用于LIN、Flexray等车辆通信协议。