| Presentation | 2008-11-27 Formalization for Integrating Information Flow Diagram and Analysis Matrix to Analyze Unexpected Obstacles in Embedded Systems Tomio INOUE, Toshiro MISE, Yasufumi SHINYASHIKI, Masaaki HASHIMOTO, Keiichi KATAMINE, Naoyasu UBAYASHI, Takako NAKATANI, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | 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. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Embedded System / Unexpected Obstacles / Information Flow Diagram / Analysis Matrix / Formalization |
| Paper # | KBSE2008-24 |
| Date of Issue |
| Conference Information | |
| Committee | KBSE |
|---|---|
| Conference Date | 2008/11/20(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Formalization for Integrating Information Flow Diagram and Analysis Matrix to Analyze Unexpected Obstacles in Embedded Systems |
| Sub Title (in English) | |
| Keyword(1) | Embedded System |
| Keyword(2) | Unexpected Obstacles |
| Keyword(3) | Information Flow Diagram |
| Keyword(4) | Analysis Matrix |
| Keyword(5) | Formalization |
| 1st Author's Name | Tomio INOUE |
| 1st Author's Affiliation | Kyushu Institute of Technology() |
| 2nd Author's Name | Toshiro MISE |
| 2nd Author's Affiliation | Panasonic Electric Works Co., Ltd. |
| 3rd Author's Name | Yasufumi SHINYASHIKI |
| 3rd Author's Affiliation | Panasonic Electric Works Co., Ltd. |
| 4th Author's Name | Masaaki HASHIMOTO |
| 4th Author's Affiliation | Kyushu Institute of Technology |
| 5th Author's Name | Keiichi KATAMINE |
| 5th Author's Affiliation | Kyushu Institute of Technology |
| 6th Author's Name | Naoyasu UBAYASHI |
| 6th Author's Affiliation | Kyushu Institute of Technology |
| 7th Author's Name | Takako NAKATANI |
| 7th Author's Affiliation | University of Tsukuba |
| Date | 2008-11-27 |
| Paper # | KBSE2008-24 |
| Volume (vol) | vol.108 |
| Number (no) | 326 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |