| Presentation | 2012/2/24 Safety analysis method based on hierarchical state transition diagram Zoohaye KIM, Yutaka MATSUBARA, Hiroaki TAKADA, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | In order to analyze exhaustively affects of failures in small embedded systems, we proposed SASTD (Safety Analysis method based on State Transition Diagram). SASTD assumes that system specifications of an embedded system have been modeled as only one state transition diagram. Therefore it is difficult that we analyze exhaustively the state transition diagram including many states and state transitions by using SASTD. In many cases, a hierarchical state transition diagram is used to reduce the number of states in a state transition diagram. In this paper, we propose SAHSTD (Safety Analysis method based on Hierarchical State Transition Diagram). We applied both SASTD and SAHSTD to the system specification of an electric boiling pot, and compared the results of them. Consequently, we confirmed that all deviations derived by SASTD could be also derived by SAHSTD. Since several system states with same characteristics were integrated to hierarchical system states, the number of derived deviations that analyzer must decide its severity could be reduced from 92 to 61 in the analysis for system states, and from 284 to 1 34 in the analysis for system state transitions, respectively. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | |
| Paper # | Vol.2012-SLDM-155 No.10,Vo.2012-EMB-24 No.10 |
| Date of Issue |
| Conference Information | |
| Committee | DC |
|---|---|
| Conference Date | 2012/2/24(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 | Dependable Computing (DC) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Safety analysis method based on hierarchical state transition diagram |
| Sub Title (in English) | |
| Keyword(1) | |
| 1st Author's Name | Zoohaye KIM |
| 1st Author's Affiliation | Graduate School of Information Science, Nagoya University() |
| 2nd Author's Name | Yutaka MATSUBARA |
| 2nd Author's Affiliation | Graduate School of Information Science, Nagoya University |
| 3rd Author's Name | Hiroaki TAKADA |
| 3rd Author's Affiliation | Graduate School of Information Science, Nagoya University |
| Date | 2012/2/24 |
| Paper # | Vol.2012-SLDM-155 No.10,Vo.2012-EMB-24 No.10 |
| Volume (vol) | vol.111 |
| Number (no) | 462 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |