丰田汽车(Toyota)意外加速事件引发了大量讨论,但说得委婉点,大部分讨论的信息并不充分。上周在英国的高完整性软件会议上(请看这里的幻灯片)http://his-2015.co.uk/slides我听到了一位权威的演讲者。菲利普·库普曼(Philip Koopman)教授经常被要求作为专家证人代表起诉丰田的人,并在2013年Bookout/Schwarz的审判中担任了专家证人,当时陪审团认定丰田电子油门控制系统(ETCS)软件和安全架构的缺陷导致了致命事故。
由于菲尔卷入了正在进行的诉讼,他必须非常小心地说话,他的演讲是经过精心准备的。他把这些幻灯片和视频放到了自己的网站上http://betterembsw.blogspot.co.uk/2014/09/a-case-study-of-toyota-unintended.html
如果你有几分钟的空闲时间,它是非常值得一看的(sa是他网站的其余部分)。如果不出意外的话,它会让你对软件的开发方式和人们解释调查结果的方式产生严重的疑虑。我认为,这也引发了使用正常的法庭程序来追查技术问题根源的严重问题。