システムの安全性評価とソフトウエア高信頼化への応用  [in Japanese] System Safety Assessment by Petri-Net and its Application for High Reliable Software  [in Japanese]

セイフティクリティカルシステムの安全性評価手法として、鉄道信号システムを対象としたペトリネットによる仕様の安全性解析事例について述べる。また、システム化に際して必須となるソフトウェアの安全性確保手法としてオンライン時にペトリネットを利用するスケルトンチェック手法について提案する。提案手法はデザインダイバシティの一手法ではあるが、仕様検討段階の成果物がそのまま利用できるため、N-バージョン手法と比べ経済性の点で優れている。

For the purpose of establishing safety assessment method, new trains control system for single-track line is analyzed from the viewpoint of safety and effectiveness by means of Petri net modeling analysis. Software safety is the most important and difficult problem to assure system safety. To overcome this difficulty a new method named skeleton-check method is introduced. The method, which is a more economical and convenient design diversity method using the output from the specification validation process, generates a diagnosis routine independently of the application programs.