セーフウェアの解説その一 - ある組込みソフトエンジニアの日記

安全ソフトウェアの教科書的な存在であるセーフウェアを読み始めた。656ページもある分厚い本なので、まずは30分くらいで斜め読みした。 自分は約20年近くクリティカルデバイスの開発に携わってきたので、書いてあることがよく分かったが純粋なソフトウェアエンジニアにはピンとこないかもしれないとも感じた。 具体的な事故の事例も多く掲載されているので、取っつきやすいと思うがやっぱり解説が必要にも思える。 そこで、できるところからこの本に書いてあることの意味について解説してみようと思う。 どこがいいかざっと見ていたら、エピローグ「これからの展望」にいいことが書いてあったので、ここからいこう。 【『セーフウェア』エピローグ これからの展望 より引用】 □安全をより確かなものにする最も効果的な方法は、単純であることと、知的に処理できるシステムを構築することである。 □安全性と信頼性は別なものであって、混同し