規程·マニュアル類の安全性評価支援

摘要

鉄道に関する規程類などの社内マニュアルは、鉄道における人間·機械系システムの動作を規定する広義のソフトウェアとみなすことができる。 マニュアルは技術の革新、社会情勢の変化等に伴う随時の変更に対して、信頼性·安全性等に対する妥当性の確認が求められるが、一般に容易ではない。 本論文では、ソフトウェア工学の要求定義の手法を用いた論理的関連付けおよび決定過程記録による、マニュアルの信頼性·#安全性評価手法を提案するとともに、コンピュータによる運用ツールを紹介する。