| 講演名 | 2007/3/9 組込みシステムの外部環境分析のためのUMLプロファイル(仕様,設計,移植,組込技術とネットワークに関するワークショップETNET2007) 瀬戸 敏喜, 金川 太俊, 鵜林 尚靖, 鷲見 毅, 平山 雅之, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本稿は,外部環境を考慮した信頼性の高い組込みシステムを開発するためのUMLプロファイルを提案する.組込みシステムはアクチュエータを用いて外部環境に影響を与えるだけでなく,センサを通してそれらからの影響も受ける.このUMLプロファイルでは,システムや環境と,それらの関係をあらわすステレオタイプを定義している.さらに,これらのモデル要素に対して,OCL記述により制約を与えている.また,我々はこのUMLプロファイルに対応したUMLモデルエディタを開発している.このエディタを用いることで,OCL記述による制約を破るモデル要素が検出できる.このUMLプロファイルによって,システムとその外部環境を厳密に記述することが可能となる. |
| 抄録(英) | This paper proposes a UML profile for constructing reliable embedded systems that take into account the external environments. Embedded systems not only affect their external environments through actuators but also are affected by their environments through sensors. The UML profile provides a set of stereotypes for representing systems, environments and associations among them. These model elements can be constrained by OCL descriptions. We also provide a UML model editor for supporting this UML profile. The model elements that violate the OCL descriptions can be detected by the editor. Using the UML profile, we can describe systems and their external environments rigorously. |
| キーワード(和) | UMLプロファイル / 組込みシステム / 外部環境 |
| キーワード(英) | UML Profile / embedded system / external environment |
| 資料番号 | CPSY2006-88,DC2006-102 |
| 発行日 |
| 研究会情報 | |
| 研究会 | DC |
|---|---|
| 開催期間 | 2007/3/9(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Dependable Computing (DC) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 組込みシステムの外部環境分析のためのUMLプロファイル(仕様,設計,移植,組込技術とネットワークに関するワークショップETNET2007) |
| サブタイトル（和） | |
| タイトル（英） | A UML Profile for analyzing the external environments of embedded systems |
| サブタイトル（和） | |
| キーワード(1)（和/英） | UMLプロファイル / UML Profile |
| キーワード(2)（和/英） | 組込みシステム / embedded system |
| キーワード(3)（和/英） | 外部環境 / external environment |
| 第 1 著者 氏名（和/英） | 瀬戸 敏喜 / Toshiki Seto |
| 第 1 著者 所属（和/英） | 九州工業大学大学院情報工学研究科 Graduate School of Computer Science and Systems Engineering, Kyushu Institute of Technology |
| 第 2 著者 氏名（和/英） | 金川 太俊 / Hirotoshi Kanagawa |
| 第 2 著者 所属（和/英） | 九州工業大学大学院情報工学研究科 Graduate School of Computer Science and Systems Engineering, Kyushu Institute of Technology |
| 第 3 著者 氏名（和/英） | 鵜林 尚靖 / Naoyasu Ubayashi |
| 第 3 著者 所属（和/英） | 九州工業大学大学院情報工学研究科 Graduate School of Computer Science and Systems Engineering, Kyushu Institute of Technology |
| 第 4 著者 氏名（和/英） | 鷲見 毅 / Takeshi Sumi |
| 第 4 著者 所属（和/英） | (株)東芝ソフトウェア技術センター Software Engineering Center, TOSHIBA Corporation |
| 第 5 著者 氏名（和/英） | 平山 雅之 / Masayuki Hirayama |
| 第 5 著者 所属（和/英） | (株)東芝ソフトウェア技術センター Software Engineering Center, TOSHIBA Corporation |
| 発表年月日 | 2007/3/9 |
| 資料番号 | CPSY2006-88,DC2006-102 |
| 巻番号（vol） | vol.106 |
| 号番号（no） | 604 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |