ソフトウェアの安全性を考える - rabbit2goのブログ日経ものづくり2010年8月号に、プリウスのブレーキ制御の問題を取り上げた「ソフトが揺さぶる製品安全」という記事が載っていた。プリウスの問題については既に様々な媒体で取り上げられているけれど、原因を簡単に言ってしまえば仕様と検証の漏れという点だろう。記事では、システム構成の変更をソフトウェアの改変で対応させたものの、その時に安全性が損なわれてしまった状況が説明されている。決してメジャーとは言えない機能において、不具合の種が残ったままになってしまったのだ。 プリウスで不具合が起きるのは、主に滑りやすい路面上で機能するアンチロック・ブレーキ・システム(ABS)が動作した場合だ。こうした使用頻度の低い機能では制御に関する仕様の詰めや検証が甘くなりがちで、不具合が残りやすい。ソフトで実現する機能が大幅に増えたために、それぞれの機能について安全を作り込むのが難しくなってきており、そのしわ寄せがABS
