使用Polyspace代码验证产品从AUTOSAR组件中消除运行时错误

Elektrobit的EB tresos AutoCore是一项针对汽车ECU的符合AUTOSAR标准的行业领先的软件。为确保车辆安全，我们必须验证这些AUTOSAR组件不存在溢出、被零除、数组访问越界及其他运行时错误。