リアクティブシステムのシナリオチェックにかかわるソフトウェアパターン

摘要

オブジェクト指向ソフトウェア開発の分野では，設計レベルでのソフトウェアの部品化を目的としたソフトウェアパターンの研究が盛んに行われているが，システムの安全性にかかわるパターンの研究はあまり見当たらない．本論文では，リアクティプシステムの安全性にかかわる仕組みとその構築の際のソフトウェアパターン化についての提案を行う．はじめに，リアクティブシステムがイベントの刺激と反応として表せることに着目し，シナリオすなわちイベントの順序と時間制約条件をチェックするイベントチェッカと名づけた安全機構を既存のいくつかのパターンを組み合わせてパターン化する．次に，この安全機構の適用例として，鉄道関係の二つのモデルへのJava言語による実装例を示す．最後に，イベントチェッカによる安全性とその構築の際のパターン化によるこのソフトウェア的な安全機構自体の信頼性の向上についての考察を行う．