| Presentation | 2020-03-06 A Method to Analyze the Proximate States to Hazards Based-on State Transition System for Supporting Safety Analysis Yusuke Suzuki, Shinpei Ogata, Yutaro Ohike, Yoshitaka Aoki, Hiroyuki Nakagawa, Kazuki Kobayashi, Kozo Okano, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | STAMP (System-Theoretic Accident Model and Processes）/STPA (System-Theoretic Process Analysis) supports system developers in manually analyzing the factors of hazards causing accidents.In general, manual analysis is easy to cause oversights.System developers should preferentially check not only hazards but also the proximate states to the hazards so that they can reduce the oversights.However, no method to support developers in easily analyzing the proximate states to hazards has been established.Therefore, in this study, we propose a method to analyze the proximate states to hazards.We evaluated the effectiveness of the proposed method by applying it to an "access control gate" system. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | STAMP/STPA / Safety Analysis / Hazards / State Transition System / Model Checking |
| Paper # | KBSE2019-47 |
| Date of Issue | 2020-02-28 (KBSE) |
| Conference Information | |
| Committee | KBSE |
|---|---|
| Conference Date | 2020/3/6(2days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | Tenbusu-Naha |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | General, Student |
| Chair | Fumihiro Kumeno(Nippon Inst. of Tech.) |
| Vice Chair | Hiroyuki Nakagawa(Osaka Univ.) |
| Secretary | Hiroyuki Nakagawa(Ibaraki Univ.) |
| Assistant | Nahomi Kikuchi(OKi) / Tomoko Kaneko(NII) |
| Paper Information | |
| Registration To | Technical Committee on Knowledge-Based Software Engineering |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | A Method to Analyze the Proximate States to Hazards Based-on State Transition System for Supporting Safety Analysis |
| Sub Title (in English) | |
| Keyword(1) | STAMP/STPA |
| Keyword(2) | Safety Analysis |
| Keyword(3) | Hazards |
| Keyword(4) | State Transition System |
| Keyword(5) | Model Checking |
| 1st Author's Name | Yusuke Suzuki |
| 1st Author's Affiliation | Shinshu University(Shinshu Univ.) |
| 2nd Author's Name | Shinpei Ogata |
| 2nd Author's Affiliation | Shinshu University(Shinshu Univ.) |
| 3rd Author's Name | Yutaro Ohike |
| 3rd Author's Affiliation | Shinshu University(Shinshu Univ.) |
| 4th Author's Name | Yoshitaka Aoki |
| 4th Author's Affiliation | Nihon Unisys, Ltd.,(Nihon Unisys) |
| 5th Author's Name | Hiroyuki Nakagawa |
| 5th Author's Affiliation | Osaka University(Osaka Univ.) |
| 6th Author's Name | Kazuki Kobayashi |
| 6th Author's Affiliation | Shinshu University(Shinshu Univ.) |
| 7th Author's Name | Kozo Okano |
| 7th Author's Affiliation | Shinshu University(Shinshu Univ.) |
| Date | 2020-03-06 |
| Paper # | KBSE2019-47 |
| Volume (vol) | vol.119 |
| Number (no) | KBSE-467 |
| Page | pp.pp.7-12(KBSE), |
| #Pages | 6 |
| Date of Issue | 2020-02-28 (KBSE) |