鉄道信号における安全性技術の展開  [in Japanese] The Expansion of Safety Technologies for Railway Signalling  [in Japanese]

高い安全性が要求される鉄道信号においては、故障等の異常が発生した場合にも安全を確保するフェールセーフが安全性技術の中心に位置づけられる。コンピュータ制御のシステムにおいては、ハードウェアとソフトウェアの安全性技術が、厳格な管理を含め、システム全体として安全性を実現するうえで必要である。本稿では、コンピュータ制御の信号システムの安全性技術について述べる。また、安全性技術の評価法や高安全ソフトウェアのためのフォーマルメソッドについても言及する。

Among dependability attributes for railway signalling systems, safety is the most crucial attribute. Every possible effort is made to achieve safety in this technical field, and fail-safe techniques, by which the system enters or remains in a safe state even in the case of system malfunction, are central to these efforts. In particular, on computerised systems, hardware and software safety techniques and measures to integrate them, including strict safety management activities, are necessary to achieve safety as a whole system. This paper systematically describes the safety technologies for computerised signalling systems, including a new approach to evaluations of safety measures and to formal methods for safety-critical software.