リアクティブシステムのシナリオチェックにかかわるソフトウェアパターン(信頼性,保全性,安全性)
スポンサーリンク
概要
- 論文の詳細を見る
オブジェクト指向ソフトウェア開発の分野では,設計レベルでのソフトウェアの部品化を目的としたソフトウェアパターンの研究が盛んに行われているが,システムの安全性にかかわるパターンの研究はあまり見当たらない.本論文では,リアクティブシステムの安全性にかかわる仕組みとその構築の際のソフトウェアパターン化についての提案を行う.はじめに,リアクティブシステムがイベントの刺激と反応として表せることに着目し,シナリオすなわちイベントの順序と時間制約条件をチェックするイベントチェッカと名づけた安全機構を既存のいくつかのパターンを組み合わせてパターン化する.次に,この安全機構の適用例として,鉄道関係の二つのモデルヘのJava言語による実装例を示す.最後に,イベントチェッカによる安全性とその構築の際のパターン化によるこのソフトウェア的な安全機構自体の信頼性の向上についての考察を行う.
- 社団法人電子情報通信学会の論文
- 2003-07-01
著者
関連論文
- XMLを用いた時間制約条件によるロールベースアクセスコントロール(ディペンダブルソフトウェアとネットワーク及び一般)
- XMLを用いたアクセス制御とビジネス向け時間制約条件(XMLとセマンティックウェブとデータ知能学, セマンティックWebとソフトウェア工学, 一般)
- XML-Based Access Control and Temporal Constraints for Business (特集 「セマンティックWebとソフトウェア工学」および一般) -- (XMLとセマンティックウェブとデータ知能学)
- マルチエージェントシステムの基礎と応用 : 複雑系工学の計算パラダイム, 大内東,山本雅人,田村秀憲(著), マルチエージェントシステムの基礎と応用-複雑系工学の計算パラダイム-, コロナ社 (2002-04), A5判, 定価(本体2,800円+税)
- リアクティブシステムのシナリオチェックにかかわるソフトウェアパターン(信頼性,保全性,安全性)
- リアクティブシステムの安全性に関わるソフトウェアパターンの研究
- リアクティブシステムの安全性に関わるソフトウェアパターンの研究
- リアクティブシステムの安全性に関わるソフトウェアパターンの研究
- システム開発で対象とする安全性
- システム開発で対象とする安全性
- システム開発で対象とする安全性
- 4.4 ソフトウェア開発で対象とする安全性について(セッション4「安全」)
- 時間データベースを用いた安全性分析