| Presentation | 2008-11-07 A visualization of unexpected obstacles in system by Petri Net Ichiro TOYOSHIMA, Takeichiro NISHIKAWA, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | The demand of risk management technologies has been increased by some reasons, e.g. accidents of large scale system and require of many international standards. FMEA(Failure Mode Effects Analysis) that is one of the most familiar risk management mathodologies uses implicit accident scenario. FMEA has ambiguousness of the scenario of accidents in own analysis results. In this paper, we propose an explicit accident scenario model by PetriNet, and apply model cheking tool "SPIN" for checking its reachability. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Risk management / Risk analysis / FMEA / PetriNet / Model checking / SPIN |
| Paper # | CAS2008-59,CST2008-37 |
| Date of Issue |
| Conference Information | |
| Committee | CAS |
|---|---|
| Conference Date | 2008/10/30(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 | Circuits and Systems (CAS) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | A visualization of unexpected obstacles in system by Petri Net |
| Sub Title (in English) | |
| Keyword(1) | Risk management |
| Keyword(2) | Risk analysis |
| Keyword(3) | FMEA |
| Keyword(4) | PetriNet |
| Keyword(5) | Model checking |
| Keyword(6) | SPIN |
| 1st Author's Name | Ichiro TOYOSHIMA |
| 1st Author's Affiliation | System Engineering Laboratory, TOSHIBA CORPORATION() |
| 2nd Author's Name | Takeichiro NISHIKAWA |
| 2nd Author's Affiliation | System Engineering Laboratory, TOSHIBA CORPORATION |
| Date | 2008-11-07 |
| Paper # | CAS2008-59,CST2008-37 |
| Volume (vol) | vol.108 |
| Number (no) | 277 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |