鉄道におけるディペンダブルソフトウェアの現状

摘要

鉄道信号分野におけるディペンダブルソフトウェアの開発，応用に関するサーベイ論文である．安全性と可用性を満足させるため，リアルタイムコントロールシステムでは重要なマルチタスクの概念を放棄するなど独自の方法論を採用した．徹底したバグ管理とV＆Vにより高い安全性を有したシステムの開発ができた．その後，汎用的なSafety Critical Application用のソフトウェア技法として伝承すべく，得られた経験を指針として残した．さらに，今日では他分野での豊富な経験をもとに国際規格が制定され，標準的な方法論が確立した．その方法論は基本的に鉄道信号の分野での方法論に通じるものであった．