验证安全关键系统需要多少测试？您如何在安全要求与工作量之间进行平衡？dSPACE 和 BTC 为安全关键 ECU 功能基于仿真的正式验证而开发的全新解决方案拉近了工作量与可行性之间的距离。同时，测试深度也增加了。