汽车电子软件安全的案例-KMR暴冲Barr软件代码审查证词.docx

2007年一辆2005年凯美瑞暴冲致一死一伤事件中丰田被判有责。引起广泛关注的是庭审中主要证人Michael Barr的证词让陪审团同意丰田的动力系统软件存在巨大漏洞可能导致此类事件。根据Barr的调查，丰田的软件缺陷分为三类： 1 非常业余的结构设计；2 不符合软件开发规范；3 对关键变量缺乏保护。本文是对Barr在法庭上证词的翻译。对汽车电子软件开发人员在功能安全方面的警示案例。