組込みシステムの外部環境分析のためのUMLプロファイル(仕様,設計,移植)
スポンサーリンク
概要
- 論文の詳細を見る
本稿は,外部環境を考慮した信頼性の高い組込みシステムを開発するためのUMLプロファイルを提案する.組込みシステムはアクチュエータを用いて外部環境に影響を与えるだけでなく,センサを通してそれらからの影響も受ける.このUMLプロファイルでは,システムや環境と,それらの関係をあらわすステレオタイプを定義している.さらに,これらのモデル要素に対して,OCL記述により制約を与えている.また,我々はこのUMLプロファイルに対応したUMLモデルエディタを開発している.このエディタを用いることで,OCL記述による制約を破るモデル要素が検出できる.このUMLプロファイルによって,システムとその外部環境を厳密に記述することが可能となる.
- 2007-03-15
著者
-
鵜林 尚靖
九州工業大学大学院情報工学府
-
鵜林尚靖
九州大学
-
瀬戸 敏喜
九州工業大学大学院情報工学研究科
-
金川 太俊
九州工業大学大学院情報工学研究科
-
鷲見 毅
(株)東芝ソフトウェア技術センター
-
平山 雅之
(株)東芝ソフトウェア技術センター
-
平山 雅之
(株)東芝
-
鵜林 尚靖
九州工業大学
-
鵜林 尚靖
東京大学総合文化研究科
関連論文
- テスト駆動開発を支援するためのデバッグ関心事グラフ(デバッグ,モデル駆動開発)
- Webアプリケーション・フィーチャのアスペクト隠蔽
- アーキテクチャ設計と実装をつなぐインタフェース機構Archface
- 要求獲得に起因するスケジュール遅れを防ぐためのPMパターンの研究について(要求工学教育,プロジェクト管理)
- 組込みシステム非正常系分析手法の定性推論による定式化
- RBACモデルの形式検証と修正支援(形式手法(1)・言語(学生セッション))
- AOPによるWebアプリケーションの要求監視
- 関心事指向アーキテクチャモデリング環境
- Webコントローラ層におけるアスペクト指向プログラミング
- 契約に基づいたアスペクト指向リファクタリングの検証(学生セッション B_テスト・検証)