鉄道信号用フェールセーフ計算機に関する考察  [in Japanese] Consideration of a Fail-safe Computer System for Railway Signaling  [in Japanese]

本論文では鉄道信号用フェールセーフ計算機システムの開発から今日に至る技術開発の流れについてサーベイし、主要な課題について時系列的に考察する。はじめに開発時の思想としてシステムアーキテクチャの検討について紹介する。次に、フェールセーフ化に対する理論化の試みとその成果について述べ、主要な概念について類別して紹介する。さらに、システムの安全性に対する評価として統一的安全性評価手法の役割と効用について紹介する。最後に、システム開発における普遍的な方法論について国際規格との関係を交えて考察する。

In this paper, we survey the technological transition and main theme of the development of a fail-safe computer system for railway signaling. First, the strategy for safety assurance of a fail-safe computer system development in the early stage is introduced. Next, a trial and results of how to frame a theory for the fail-safe architecture are outlined. In addition, role and necessity of the united assessment approach for the system safety evaluation are introduced. Finally, the universal methodology for system development of a fail-safe computer is considered by referring to the international standard for safety critical system.