講演名 2008-11-27
組込みシステム非正常系分析のためのIFDと分析マトリクスを統合した定式化
井上 富雄, 三瀬 敏朗, 新屋敷 泰史, 橋本 正明, 片峯 恵一, 鵜林 尚靖, 中谷 多哉子,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) 組込みシステムは障害などの非正常系について,IFD(Information Flow Diagram)を用いた静的な側面と,分析マトリクスを用いた動的な側面から,捉える事が出来る.そこで,IFDと分析マトリクスの関係を厳密に示すため,両者の定式化を図り考察する.また,分析マトリクスにおける抽象化のメカニズムを定式化によって探り,両者を用いた分析を助ける.本稿では,両者を定式化した定義とその有効性について論ずる.
抄録(英) We can treat embedded systems as two aspects about unexpected obstacles such as the failure. One is a static side using IFD (Information Flow Diagram). Another is a dynamic side using analysis matrix. Therefore I formalize IFD and the analysis matrix to show the relations between both exactly. In addition, I investigate mechanism of the abstraction in the analysis matrix by formalization and help with the analysis that I used both for. In this paper, I discuss it about a definition and the effectiveness that formalized both.
キーワード(和) 組込みシステム / 非正常系 / 情報フロー・ダイアグラム / 分析マトリクス / 定式化
キーワード(英) Embedded System / Unexpected Obstacles / Information Flow Diagram / Analysis Matrix / Formalization
資料番号 KBSE2008-24
発行日

研究会情報
研究会 KBSE
開催期間 2008/11/20(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 Knowledge-Based Software Engineering (KBSE)
本文の言語 JPN
タイトル(和) 組込みシステム非正常系分析のためのIFDと分析マトリクスを統合した定式化
サブタイトル(和)
タイトル(英) Formalization for Integrating Information Flow Diagram and Analysis Matrix to Analyze Unexpected Obstacles in Embedded Systems
サブタイトル(和)
キーワード(1)(和/英) 組込みシステム / Embedded System
キーワード(2)(和/英) 非正常系 / Unexpected Obstacles
キーワード(3)(和/英) 情報フロー・ダイアグラム / Information Flow Diagram
キーワード(4)(和/英) 分析マトリクス / Analysis Matrix
キーワード(5)(和/英) 定式化 / Formalization
第 1 著者 氏名(和/英) 井上 富雄 / Tomio INOUE
第 1 著者 所属(和/英) 九州工業大学
Kyushu Institute of Technology
第 2 著者 氏名(和/英) 三瀬 敏朗 / Toshiro MISE
第 2 著者 所属(和/英) パナソニック電工株式会社
Panasonic Electric Works Co., Ltd.
第 3 著者 氏名(和/英) 新屋敷 泰史 / Yasufumi SHINYASHIKI
第 3 著者 所属(和/英) パナソニック電工株式会社
Panasonic Electric Works Co., Ltd.
第 4 著者 氏名(和/英) 橋本 正明 / Masaaki HASHIMOTO
第 4 著者 所属(和/英) 九州工業大学
Kyushu Institute of Technology
第 5 著者 氏名(和/英) 片峯 恵一 / Keiichi KATAMINE
第 5 著者 所属(和/英) 九州工業大学
Kyushu Institute of Technology
第 6 著者 氏名(和/英) 鵜林 尚靖 / Naoyasu UBAYASHI
第 6 著者 所属(和/英) 九州工業大学
Kyushu Institute of Technology
第 7 著者 氏名(和/英) 中谷 多哉子 / Takako NAKATANI
第 7 著者 所属(和/英) 筑波大学
University of Tsukuba
発表年月日 2008-11-27
資料番号 KBSE2008-24
巻番号(vol) vol.108
号番号(no) 326
ページ範囲 pp.-
ページ数 6
発行日