| 講演名 | 2009-09-15 組込みシステム非正常系分析手法の定性推論による定式化 片峯 恵一, 新屋敷 泰史, 三瀬 敏朗, 中谷 多哉子, 鵜林 尚靖, 橋本 正明, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 本稿では,組込みシステムの例外や障害などの非正常系を分析する手法を定式化する.近年,組込みソフトウェアは,大規模化,複雑化している一方で納期は短縮されている.この結果,障害の見落しなど品質問題が発生している.そこで,著者らは,非正常系分析手法として,情報の流れに着目した情報フロー・ダイアグラムと状態遷移に着目した分析マトリクスを統合したESIMを提案している.この手法は,熟練技術者と非熟練技術者との作業分担を中心に分析手順を示しているが,各ダイアグラム間の相互関係は,明らかにされていない.そこで,非正常系の概念モデルと定性推論を用いて,この分析手法を定式化した.また,事例を用いて妥当性を確認した. |
| 抄録(英) | This paper proposes a formalization for an analysis method of extracting unexpected obstacles in order to improve the quality of embedded systems. Although embedded software has become increasingly large in scale and complexity, companies are requiring the software to be developed in shorter periods of time. This trend in the industry has resulted in the oversight of unexpected obstacles and consequently has affected the quality of embedded software. In order to prevent the oversight of unexpected obstacles, we have already proposed the ESIM by combining an IFD (Information Flow Diagram) with an Analysis Matrix for requirements analysis. The analysis method proposes work distributions between expert and non-expert as a main purpose, and the interrelation of the IFD and the Analysis Matrix is not clarified yet. Therefore we propose a formalization for the analysis method by using a conceptual model and qualitative reasoning, and describe a case study. |
| キーワード(和) | 組込みシステム / 定式化 / 定性推論 / 非正常系 |
| キーワード(英) | Embedded System / Formalization / Qualitative Reasoning / Unexpected Obstacles |
| 資料番号 | KBSE2009-27 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 2009/9/7(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 組込みシステム非正常系分析手法の定性推論による定式化 |
| サブタイトル（和） | |
| タイトル（英） | Formalization of Analysis Method of Unexpected Obstacles in Embedded Systems from the viewpoint of Qualitative Reasoning |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 組込みシステム / Embedded System |
| キーワード(2)（和/英） | 定式化 / Formalization |
| キーワード(3)（和/英） | 定性推論 / Qualitative Reasoning |
| キーワード(4)（和/英） | 非正常系 / Unexpected Obstacles |
| 第 1 著者 氏名（和/英） | 片峯 恵一 / Keiichi KATAMINE |
| 第 1 著者 所属（和/英） | 九州工業大学 Kyushu Institute of Technology |
| 第 2 著者 氏名（和/英） | 新屋敷 泰史 / Yasufumi SHINYASHIKI |
| 第 2 著者 所属（和/英） | パナソニック電工株式会社 Panasonic Electric Works Co., Ltd. |
| 第 3 著者 氏名（和/英） | 三瀬 敏朗 / Toshiro MISE |
| 第 3 著者 所属（和/英） | パナソニック電工株式会社 Panasonic Electric Works Co., Ltd. |
| 第 4 著者 氏名（和/英） | 中谷 多哉子 / Takako NAKATANI |
| 第 4 著者 所属（和/英） | 筑波大学 University of Tsukuba |
| 第 5 著者 氏名（和/英） | 鵜林 尚靖 / Naoyasu UBAYASHI |
| 第 5 著者 所属（和/英） | 九州工業大学 Kyushu Institute of Technology |
| 第 6 著者 氏名（和/英） | 橋本 正明 / Masaaki HASHIMOTO |
| 第 6 著者 所属（和/英） | 九州工業大学 Kyushu Institute of Technology |
| 発表年月日 | 2009-09-15 |
| 資料番号 | KBSE2009-27 |
| 巻番号（vol） | vol.109 |
| 号番号（no） | 196 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |