| 講演名 | 2004-11-18 組込みソフトウェア非正常系の概念モデルによる情報フロー・グラフの解析 畑中 久典, 新屋敷 泰史, 三瀬 敏朗, 亀谷 秀洋, 橋本 正明, 鵜林 尚靖, 片峯 恵一, 中谷 多哉子, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 商品組込み系ソフトウェア(以下、組込みソフトと呼ぶ)仕様設定の高信頼化と効率化のため、動作環境も含めた組込みシステムの情報フロー・グラフを作成し、その中から非正常系仕様を抽出するためのグラフ解析について述べる。現在、組込みソフトは大規模化しており、特に要求分析工程で非正常系仕様の設定技術に関する開発手法の整備が必要とされている。そのため、我々は組込みソフト分野における非正常系仕様の設定技術について研究している。これまで、非正常系仕様の概念モデルを研究しているので、このモデルに基づいて、情報フロー・グラフを作成する。また、グラフ解析において、サーキットが特異な振る舞いを見せるので、本稿ではサーキットの解析に着目して述べる。 |
| 抄録(英) | For improving the reliability and productivity of embedded software specifications, this article describes the information flow graphs of embedded systems including their running surroundings, and their analysis in order to find exception handling specifications. Recently, embedded software needs the improvement of development methodology because of its increasing scale. Therefore, we have been studying an exception handling methodology in embedded software specifications. Since we have developed a conceptual model of exception handling specifications, the information flow graphs are constructed based of the conceptual model: Moreover, this article mainly describes the circuit analysis since the circuits are singular objects in the analysis of graphs. |
| キーワード(和) | 組込み系ソフトウェア / 非正常系仕様 / 概念モデル / 情報フロー・グラフ / グラフ解析 |
| キーワード(英) | Embedded Software / Exceptions Handling Specifications / Conceptual Model / Information Flow Graph / Graph Analysis |
| 資料番号 | KBSE2004-18 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 2004/11/11(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 組込みソフトウェア非正常系の概念モデルによる情報フロー・グラフの解析 |
| サブタイトル（和） | |
| タイトル（英） | An Analysis of Information Flow Graph based on Conceptual Model of Exceptions in Embedded Software |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 組込み系ソフトウェア / Embedded Software |
| キーワード(2)（和/英） | 非正常系仕様 / Exceptions Handling Specifications |
| キーワード(3)（和/英） | 概念モデル / Conceptual Model |
| キーワード(4)（和/英） | 情報フロー・グラフ / Information Flow Graph |
| キーワード(5)（和/英） | グラフ解析 / Graph Analysis |
| 第 1 著者 氏名（和/英） | 畑中 久典 / Hisanori HATANAKA |
| 第 1 著者 所属（和/英） | 九州工業大学 Kyusyu Institute of Technology |
| 第 2 著者 氏名（和/英） | 新屋敷 泰史 / Yasufumi SHINYASHIKI |
| 第 2 著者 所属（和/英） | 松下電工株式会社:九州工業大学 Matsushita Electric Works, Co., Ltd.:Kyusyu Institute of Technology |
| 第 3 著者 氏名（和/英） | 三瀬 敏朗 / Tosiro MISE |
| 第 3 著者 所属（和/英） | 松下電工システムソリューション株式会社:九州工業大学 Matsushita Electric Works System Solution. Co., Ltd.:Kyusyu Institute of Technology |
| 第 4 著者 氏名（和/英） | 亀谷 秀洋 / Hidehiro KAMETANI |
| 第 4 著者 所属（和/英） | 九州工業大学 Kyusyu Institute of Technology |
| 第 5 著者 氏名（和/英） | 橋本 正明 / Masaaki HASHIMOTO |
| 第 5 著者 所属（和/英） | 九州工業大学 Kyusyu Institute of Technology |
| 第 6 著者 氏名（和/英） | 鵜林 尚靖 / Naoyasu UBAYASHI |
| 第 6 著者 所属（和/英） | 九州工業大学 Kyusyu Institute of Technology |
| 第 7 著者 氏名（和/英） | 片峯 恵一 / Keiichi KATAMINE |
| 第 7 著者 所属（和/英） | 九州工業大学 Kyusyu Institute of Technology |
| 第 8 著者 氏名（和/英） | 中谷 多哉子 / Takako NAKATANI |
| 第 8 著者 所属（和/英） | 九州工業大学:有限会社エス・ラグーン Kyusyu Institute of Technology:S-Lagoon Co., Ltd. |
| 発表年月日 | 2004-11-18 |
| 資料番号 | KBSE2004-18 |
| 巻番号（vol） | vol.104 |
| 号番号（no） | 431 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |