魔神至尊、Barr与丰田代码(2)

本帖于 2013-11-06 13:22:28 时间, 由普通用户 chinomango 编辑

“大师是对语法和程序结构很熟悉,程序业务逻辑没见过,很正常。但并不影响他去判断和分析代码。实现业务逻辑有n种方法。大师可以判断你这种做法好不好。”

Barr大师12岁开始编程,又在大学电子专业期间研究编程,第一份工作做了三年,据他自己在法庭上说做了一个项目,同时攻读他的硕士。毕业后马上成为principle15个月内不但写了Solaris/NTPCI驱动,而且写了JavaVerilog的转换器(至今没有公司能做到)。然后再一跳就是architect(一般人花15年不一定能做到,大师用了15个月),不过只做了3个月,然后晃呀晃呀直到打官司时的收费是每小时525美元,并花了上千小时研究丰田的代码,结果是物有所值,丰田为这个集体诉讼陪了300万。
http://club.tgfcer.com/attachment.php?aid=586045
http://www.netrino.com/images/cv-barr.pdf

28万行源代码+15个月+9名专家得出的鉴定结果结果,被一名码农推翻,如果是真的话,NASA以后全体下岗算了。
  美国运输部这项研究邀请了美国国家航空航天局(NASA)工程师参与。
拉胡德说,9名NASA专家“严格检查了”9辆消费者投诉称带有暴冲现象的丰田汽车。
NASA专家检查了28万行软件代码,查找可导致突然加速的瑕疵。他们发射电磁波,查看能否影响汽车电子系统,让汽车加速。
美国运输部去年8月公布的初步研究显示,基于行车记录器(又称汽车“黑匣子”)的检查,没有发现任何电子系统瑕疵可导致暴冲。
运输部下属国家公路交通安全局的调查表明,58辆出现暴冲现象的丰田汽车中,35辆车的司机在撞车前没有踩刹车、9辆车的司机是在出事前最后一刻才踩刹车。”
以上转自http://forum.xitek.com/thread-1229404-2-1-2.html

交通安全局报告和结论:
http://www.nhtsa.gov/UA
ECM的设计考虑到满足发动机控制的实时约束。实时操作系统采用的是基于车辆分布式控制单元OSEK标准,由AUTOSAR8(Automotive Open System Architecture,丰田是主要成员)所支持。操作系统基于任务执行架构,而每个任务都有一个固定的静态分配优先级。”
看门狗控制WDC带有独立CPU子系统,监控主发动机控制单元电脑所有它被设计用于响应的信号和事件无论是CPU将自行复位检测异常情况WDC子系统复位ECM这些条件是:。。。”
如果发生错误导致看门狗重启系统,“
重启时间足够快,其发生汽车在运行并不明显CPU和子CPU也可以根据遇到错误条件,独立地重新启动/子CPU产生看门狗脉冲和监视对方的健康
该系统是由丰田汽车公司工程师设计和软件规范详细的软件设计实现和单元测试由DENSO工程师交付代码TMC验收测试,集成测试在一个特殊的称为MITY高保真硬件测试平台进行的。”
堆栈溢出检查系统堆栈限制只有4096字节因此重要的是要确保没有执行超过堆栈限制这种类型的检查在没有递归程序(这是重安全的嵌入式软件标准的情况下通常是简单。”



 

所有跟帖: 

刚看这个吓了我一跳:“国内的软件工程师不能只是这种水平吧?” -N.- 给 N. 发送悄悄话 N. 的博客首页 (215 bytes) () 11/05/2013 postreply 22:44:38

你自以为编几句程序就懂行了,还是没理解到点子上。 -QuantPM- 给 QuantPM 发送悄悄话 (721 bytes) () 11/06/2013 postreply 06:34:45

你得看原文而非道听途说 -chinomango- 给 chinomango 发送悄悄话 chinomango 的博客首页 (651 bytes) () 11/06/2013 postreply 08:48:51

ECU断电是否也可以成为一种干扰? -biglow- 给 biglow 发送悄悄话 biglow 的博客首页 (324 bytes) () 11/06/2013 postreply 09:11:00

ECU断电确实可能发生,这正是我要说的 -chinomango- 给 chinomango 发送悄悄话 chinomango 的博客首页 (1224 bytes) () 11/06/2013 postreply 13:06:41

我感觉你没写过商业用软件。你很有可能是写程序高手,但一般为了自己 -N.- 给 N. 发送悄悄话 N. 的博客首页 (410 bytes) () 11/06/2013 postreply 09:21:19

说得很对。Barr的blog还提到丰田新做的刹车优先制动系统,还是把程序写进了kitchen sink任务里去。 -QuantPM- 给 QuantPM 发送悄悄话 (33 bytes) () 11/06/2013 postreply 10:06:19

没有啥软件不是商业用软件吧?美国的高手有的是但Barr不能算 -chinomango- 给 chinomango 发送悄悄话 chinomango 的博客首页 (0 bytes) () 11/06/2013 postreply 13:10:16

我看的是Barr自己的blog。任务死掉不是人为制造的结果。 -QuantPM- 给 QuantPM 发送悄悄话 (485 bytes) () 11/06/2013 postreply 09:58:45

可否给个链接?先谢了 -chinomango- 给 chinomango 发送悄悄话 chinomango 的博客首页 (0 bytes) () 11/06/2013 postreply 13:25:29

丰田自己都承认错误了。你还为丰田辩护什么呢 ? 丰田的辩护团队想不到这些 ? -southmountainer- 给 southmountainer 发送悄悄话 (0 bytes) () 11/06/2013 postreply 18:00:56

回复:35+9=58? -bpyrmjpmrl- 给 bpyrmjpmrl 发送悄悄话 (253 bytes) () 11/06/2013 postreply 19:00:04

请您先登陆,再发跟帖!