鉄道信号保安ソフトウェアの特徴と次世代OS(<特集>情報システムの信頼性・安全性)

抄録

本稿ではマイクロコンピュータを搭載した鉄道信号保安装置について,まず,その安全性と信頼性を支える基本的な技術の特徴をソフトウェアを中心に紹介する.次にそれらの技術のソフトウェア面での中核であるシングル・スレッド方式のOSを説明し,さらにこのOSを発展・拡張した次世代の鉄道信号保安装置用OSである「排他ダブル・スレッドOS」について説明する.