信頼性と安全性を高める設計技術

デザインウェーブマガジン（Design Wave Magazine）2006年12月号の第一特集「組み込みシステムの信頼性と安全性を高める」が非常に参考になります。
http://www.cqpub.co.jp/DWM/
ISBN:B000JVT3L2

信頼性と安全性の違い
（両者はまったく別の物）
機能安全と本質安全
（鉄道の踏み切り事故では立体交差が本質安全。でも現実は機能安全がほとんど）
安全性の高い組み込みソフトウエア設計
（ハードウエアを信用しない設計）
機能安全の国際規格IEC 61508
（欧州などでは強制規格に近いものに）
フェイルセーフの思想
（電源や配線などが切れたときにどちらにシステムが動くか）

上記の項目は一部ですが、非常に手堅い内容でウレシイです。
そういえば、「つくばエキスプレス」には踏み切りがありませんでした。すべて立体交差です。高速運転をするので体感では少し怖いのですが、本質安全が実現された鉄道だったのですね〜。