トヨタの急加速事故は欠陥だらけのファームウェアが原因？――原告側調査の詳細

トヨタの急加速事故は欠陥だらけのファームウェアが原因？――原告側調査の詳細：ビジネスニュース 企業動向（1/3 ページ） 2007年に米国オクラホマ州で、トヨタ自動車の乗用車「カムリ」が急加速したことによる死亡事故が発生した。事故をめぐる訴訟において、原告側証人として事故原因の調査を行った組み込みソフトウェアの専門家は、裁判で「カムリのエンジン制御モジュール（ECM）のファームウェアに重大な欠陥が見つかった」と報告した。 2013年10月24日、トヨタ自動車の乗用車の急加速による死亡事故をめぐる米国オクラホマ州での訴訟において、陪審団は同社に対し賠償を命じる評決を下した。なお、本訴訟は、10月25日に和解が成立している。 この事故は、2007年にオクラホマ州で、2005年モデルの「カムリ」が急加速し、運転者と同乗者の2名が死傷したというもの。運転者ら原告側は、運転者の意図しない急加速（UA

[kappaseijin]

車も家電も日本の「ものづくり」がソフトを軽視しているのは本当だけど自動車業界の外部テストは圧倒的に徹底してるからソフトの不具合が直接事故に繋がるとは思えない。

[m-bird]

不具合の再現させてから文句いえよ、とは思います。まぁ、みんな3ペダルMT、キャブレター車に乗ればいいんですよ。シンプルいちばん。

[Sampo]

id:kappaseijin ホワイトボックスとブラックボックスはテストの両輪でございます。ブラックボックステストだけどんなに徹底しても予測困難な不具合を潜伏させていくだけになります。

[rgfx]

with: http://embeddedsoftwaremanufactory.blogspot.jp/2013/11/blog-post.html

[ebo-c]

"グローバル変数が1万1000"って変数定義容量だけで元祖マリオ数本作れそうでマジかって気はする

[el-condor]

辛い感じあるな＜"グローバル変数が1万1000もある""MISRA-C:1998」には、93個の必要要件と34個の勧告要件があるが、トヨタはこのうちの6個にしか準拠していなかった"これは過失ありとされても文句いえないのかん

[dowhile]

バグが人を殺す

[nakag0711]

ソースコード提出したのか

[takeishi]

原告側の調査では有るが

[mas-higa]

スタック容量気にしすぎたんかな。グローバル変数とスパゲッティーはやだなぁ。

[iouri]

原告側の言い分を垂れ流してるだけの記事っぽいけど、なんかおかしい気がする。でも組み込み詳しくないからどこがおかしいのかわからなくってもやもやする

[tumo300-500]

カムリのETCSには、グローバル変数が1万1000もあることが判明した。Barr氏は、“スパゲティコード”と評している。

[topiyama]

これが機能安全のコンサルってやつかー！／監視機能を監視する機能とか、ソフトの複雑化による設計の高難度化はどうするんだろうって思う。

[tmtms]

"トヨタは、コードのピアレビューが不十分であるか、まったく行っていなかった可能性がある。バグ管理システムも存在しない" / TPS 的には無駄な工程として削除されたのかしら

[YaMasa]

欠陥があることは事実としてそれが事故の原因かどうかは別問題。プリウスは検証実験で急加速を再現できなかったようだがカムリは再現できたんだろうか。

[chintaro3]

そりゃまぁ、そういう評価になるだろうなぁ。こりゃヤバげ。真摯に受け止めて改善するしかない。

[r-west]

原告側の調査だからあれだけど、ソフトなんて奴隷をシバけば作れるんだよ品質上げるには鞭の数を増やしゃいいんだ、って文化を想像してしまう。

[syo68k]

ECUの”品質”に言及された貴重な記事。/他者によるこの記事や品質の検証が待たれる

[SiroKuro]

ソフトの品質がいいなんて言葉、日本国内で聞いたこと無い。

[Mash]

アルゴリズムと思ったらMISRAの話だった

[Itisango]

“2005年モデルの「カムリ」のメインCPUにはRAMのエラー検出・修正機構（EDAC）を搭載していると主張しているが、実際には搭載されていない、あるいは、低コストのパリティのみに頼っている可能性があるという。”

[itochan315]

トヨタ以外の会社も気になる

[warufuzaketaichi]

内容がどうも一方的に過ぎる気がする。

[mohri]

バグトラッキングないのなんでわかるんだろう？ 「トヨタは、コードのピアレビューが不十分であるか、まったく行っていなかった可能性がある。バグ管理システムも存在しない」

[puruhime]

トヨタ側の反証がないとなんともいえねー

[oukayuka]

ぎゃー！ ＞カムリのETCSには、グローバル変数が1万1000もあることが判明した。Barr氏は、“スパゲティコード”と評している

[kyab]

グローバル変数が10000超えって本当かしらん

[asonas]

uhi-

[jt_noSke]

ふーむ

[hahnela03]

Barr氏は、「トヨタのプログラムは、自動車業界で広く採用されている『MISRA-C』への対応が不十分だ。/訴訟の本質がソフトの規格の優位性の確立のためなのか。昔のトロン潰しと同じ構図なのかも