安全の礎たるもの

もう一週間ほど前になりますが,EE Timesという組込み業界系メディアにとある記事が掲載されました.

2007年に米国オクラホマ州で、トヨタ自動車の乗用車「カムリ」が急加速したことによる死亡事故が発生した。事故をめぐる訴訟において、原告側証人として事故原因の調査を行った組み込みソフトウェアの専門家は、裁判で「カムリのエンジン制御モジュール(ECM)のファームウェアに重大な欠陥が見つかった」と報告した。

だそうです. 通常,組込み業界系メディアが一般の…プログラマ界隈でさえ…取り上げられることは滅多にないのですが,Twitter の TL を軸にして眺めていたところ,割と広く拡散したように見えます. トヨタという知名度,クルマという日常生活に深く関わるものに関すること,加えて,コード品質からの切り口は,組込み業界以外のプログラマでも話題にしやすかったということがあったのだろうと思います.

ワタクシは,経歴がどうであれ,傍流で眺めているだけのクズエンジニアですから. 昼のラーメン屋で,タブロイド紙を面白可笑しくネタにするダメリーマンと同じく,適当なことを Twitter に放流していました.(あ,でも軽口はあっても嘘は入れていないつもりです). 調査をしたというMichael Barr氏の素性もよくわからないですし,報道の段階で誤解曲解があることは十分に想定の範囲ですし,ね.

まあ,「”安全”とは何か!」みたいな哲学的な事柄を科学的に突き詰める方々については,お顔も思い浮かびますし,まあ怒って長文を投げる方もいらっしゃるだろうなぁ,くらいには思っていましたけれども.

で,やはりというか,blogエントリが上がりました.

の,後半です.非公式な情報では全文のご執筆は4時間にもわたるものだそうで,読み応えがあります. ワタクシのアホtweetは,全くもってカスに見えます. ワタクシのtweetは不随意反射,タイピング時間を除くと 1[sec/tweet]もかかってないでしょうから,比べたら失礼の極みですが.

ソフトウェアの安全,という話題を日本でするに当たり,言及がないことが考えられないくらい著名なエンジニアであり研究者である酒井氏の発言です. 安全に関するご指摘に誤りがあろうはずもありません. 特に,下記のご指摘は,とても重要と思います.

ソフトウェア品質とシステムの安全をごっちゃにしている。

件の元記事への批判としては,これで十分と思えます. にも関わらず,なんであんな冗長な文章を書く必要があったのかワタクシには判りませんが…安全とは,言葉を尽くさないと語れないものなのであります.たぶん.

ま,そんなわけで,オーソリティにアホが何言っても詮ないのですが,底辺プログラマとして,気になることが,一つだけ.

み込み機器向けのコンサルティングを手掛けるBarr GroupのCTO(最高技術責任者)であり、共同創設者でもあるMichael Barr氏*)は2013年10月、EDNの問い合わせに対し、今回の調査結果を明らかにした。Barr氏は同僚とともに、裁判の原告側の専門家証人として徹底的な調査を実施した結果を明らかにした。

これは、セーフティクリティカルシステム開発に携わる全ての人々に対する教訓となるだろう。
自動車業界や医療機器業界、航空宇宙業界などのいずれの分野においても、欠陥が生じることは決して許されない。

冗談だろう。教訓にもなにもならない。

ふーむ.教訓にもなにもならない,ですか….

Barr氏の言っていることのうち,コード品質に関する部分が本当であるならば,という仮定付きで,かつ,Barr氏の意図と必ずしも合致していないかもしれない,という前提付きでもありますが. ワタクシは,これ,安全だの信頼だの言っている人たちへの教訓に十分なると思ったりします. 端的にいうと,こんな感じです.

全体最適だの機能安全だの崇高なことをいっている間に,根となるべきプログラマの品質確保に失敗しているってことではないですかね? 底辺プログラマでも天を仰ぐような品質問題がボコボコ指摘されるってことは.

「ソフトウェア品質とシステムの安全をごっちゃにしている。」のはワタクシも思うのですが, 品質の悪いソフトはシステムの安全を脅かす ということは経験知としてさほどおかしな話でもなさげです. てか,品質が悪いソフトを内蔵しつつ安全なシステムで,顧客の満足も得られた例って,あるんですかね? 言葉遊びの上では在り得ることは解りますが.

品質が良ければ安全とは限らないなんてのは,底辺プログラマのワタクシでも判ります. が,品質が悪く安全を担保できるのかって指摘に対して,安全とは,って解くの,専門家すぎて,よくわかんな〜いです.

スリカエじゃ無いですか? それって.(・_・)

………なんてな.(CV:いかりや長介)

twitter でのワタクシのゲス発言を基に,少し加筆してみました.ゲス発言に何を加筆しても,ゲス発言ですな.お目汚し,すんません. (_ _)