組込みZine に 安全ソフトウェアの設計〜第三回 安全アーキテクチャの可視化〜 を書きましたのでご参照ください。【安全ソフトウェアの設計の記事の裏話】この記事の中で紹介しているエレベータの安全ソフトウェアの話は、 『第６回クリティカルソフトウェア…