Nishaat Vasi, MathWorks
许多工程师在仿真中测试他们的算法模型。通过模拟,他们在生成产品代码之前识别出模型中的设计和需求错误。然而,消除设计错误仍然是一个挑战,而且具有100%覆盖率的广泛测试仍然可能导致设计包含健壮性错误,如溢出和除以0。其中一些错误可能会在很少的情况下暴露出来,调试可能会花费大量时间。它们可能是由某些校准值引起的,并且只在HIL平台或测试车辆中发现。本演示演示了一种利用Simulink design Verifier来检测和消除此类设计错误的方法金宝app™.