フォーマル·メソッドの調査·研究－鉄道保安機器への応用に向けて

摘要

鉄道保安機器においては、システムに対する顧客の要求が多様化·高度化するなかで、高密度で正確な運行を保証すると共に、装置の安全性と信頼性を確保する事が責務である。ハードウェアにおいては、素子自体の信頼性を向上させ、さらに冗長な回路構成をとる事で、実用に堪え得る安全性と信頼性を確保してきた。 一方、ソフトウェアにおいては、構造化手法やオブジェクト指向など、さまざまなソフトウェア開発手法を駆使し、また多くの試験を実施する事により、その安全性と信頼性を確保してきた。 近年、システムへの要求が多様化·大規模化した事やCPU処理能力の急速な増大による機能のソフトウェア化に伴い、ソフトウェアが大規模化·複雑化してきている。 そのため、従来の開発手法で品質を保証するためには、膨大な量の試験を行うなど多大な時間と労力が必要となってきている。