リアクティブシステムの安全性に関わるソフトウェアパターンの研究
スポンサーリンク
概要
- 論文の詳細を見る
オブジェクト指向ソフトウェア開発の分野では, ソフトウェアパターンの研究が盛んに行われているが, システムの信頼性や安全性を目的としたパターンの研究はあまり見あたらない.本研究では, リアクティブシステムの安全性のためのソフトウェアパターンについての検討を行う.はじめに, リアクティブシステムがイベントの刺激と反応として表せることに着目し, イベントの順序と時間制約条件をチェックするためのイベントチェッカと名づけた安全機構を既存のパターンを活用しながら構築する.次に, この安全機構の有効性を, 鉄道関係の二つのモデルを用いて検討する.
- 社団法人電子情報通信学会の論文
- 2001-10-12
著者
関連論文
- セマンティックウェブを用いた分散情報の連結(Webインテリジェンス,「Webインテリジェンス」及び一般)
- B-008 UML/OCLからSQLへの変換(ソフトウェア,一般論文)
- ビザンチン合意を用いたP2Pオンラインゲーム用プロトコル(設計/テスト/検証)
- コータリを用いたP2P型オンラインゲーム方式(設計/テスト/検証)
- セマンティックウェブを用いた分散情報の連結
- セマンティックウェブを用いた個人提供型コンテンツサービスシステム(DE-3応用システム,インターネット環境でのデータ工学とディペンダビリティ,及び一般)
- B-030 3Dシミュレーション画面を用いた開発支援ツール(B分野:ソフトウェア)
- 個人提供型携帯電話用コンテンツサービスシステムの一方式
- P2Pを用いた携帯用コンテンツサービスシステムの一方式(オーバーレイネットワーク,夏のデータベースワークショップDBWS 2006)
- P2Pを用いた携帯用コンテンツサービスシステムの一方式(オーバレイネットワーク)
- スポーツトレーニングメニュー作成システムの試作(学生セッション,一般)
- XMLを用いた時間制約条件によるロールベースアクセスコントロール(ディペンダブルソフトウェアとネットワーク及び一般)
- セマンティックウェブを用いた分散情報の連結(Webインテリジェンス,「Webインテリジェンス」及び一般)
- セマンティックウェブを用いた個人提供型コンテンツサービスシステム(DE-3応用システム,インターネット環境でのデータ工学とディペンダビリティ,及び一般)
- C-023 投機的ビザンチンアルゴリズムのP2Pシステムへの適用(C分野:ハードウェア・アーキテクチャ,一般論文)
- D-039 ビジネスプロセスモデリングにおける時間制約条件の導入(データベース,一般論文)
- D-038 表明のUML/OCLからSQL/Triggerへの変換(データベース,一般論文)
- 4.4ソフトウェア開発で対象とする安全性について(セッション4「安全」)(日本信頼性学会第11回研究発表会報告)
- リアクティブシステムのシナリオチェックにかかわるソフトウェアパターン(信頼性,保全性,安全性)
- リアクティブシステムの安全性に関わるソフトウェアパターンの研究
- リアクティブシステムの安全性に関わるソフトウェアパターンの研究
- リアクティブシステムの安全性に関わるソフトウェアパターンの研究
- ビザンチン合意を用いたP2Pオンラインゲーム用プロトコル
- B-015 ゴール指向要求定義のゲームアプリケーション開発への適用(知能ソフトウェア工学,B分野:ソフトウェア)
- B-014 フレームワークを用いたWebアプリケーションにおける変更波及解析(知能ソフトウェア工学,B分野:ソフトウェア)
- F-045 分散オンラインゲームにおける同期方式の研究(学習とゲーム,F分野:人工知能・ゲーム)
- B-017 分散システム開発でのディペンダブルなプロトコルのSPINによる検証(知能ソフトウェア工学,B分野:ソフトウェア)
- B-016 UML/OCLアサーションのサーバサイド実装用ツールの開発(知能ソフトウェア工学,B分野:ソフトウェア)
- フレームワークを用いたWebアプリケーションの変更容易性(一般)
- UML/OCLアサーションのサーバサイドでの実装