Presentation | 2007/5/11 Investigation of Risk Analysis Method to Support Specification Based on Formal Method Tetsuya ICHIKAWA, Tatsuo OHNARI, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | Formal Method is used for the specification and verification of the development of the software where high reliability is required, for example the safety-related software in IEC61508. In this research, in order to support the extraction of safety functions requirements specification of the safety-related software, which is necessary for the specification of the software with Formal Method, application of risk analysis method "Hazard and Operability Study, HAZOP" was examined. HAZOP which is expanded in order to analyze state transition of the system was presented. In order to visualize the state transition, the scenario which reaches to dangerous event the method of using state machine diagram of "Unified Modeling Language, UML" was presented. As an example, these applied to a process system and examined. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | IEC61508 / safety-related software / Formal Method / Risk Analysis / HAZOP / state machine diagram |
Paper # | SSS2007-1 |
Date of Issue |
Conference Information | |
Committee | SSS |
---|---|
Conference Date | 2007/5/11(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 | Safety (SSS) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Investigation of Risk Analysis Method to Support Specification Based on Formal Method |
Sub Title (in English) | |
Keyword(1) | IEC61508 |
Keyword(2) | safety-related software |
Keyword(3) | Formal Method |
Keyword(4) | Risk Analysis |
Keyword(5) | HAZOP |
Keyword(6) | state machine diagram |
1st Author's Name | Tetsuya ICHIKAWA |
1st Author's Affiliation | TOSHIBA SOLUTIONS CORPORATION() |
2nd Author's Name | Tatsuo OHNARI |
2nd Author's Affiliation | TOSHIBA SOLUTIONS CORPORATION |
Date | 2007/5/11 |
Paper # | SSS2007-1 |
Volume (vol) | vol.107 |
Number (no) | 45 |
Page | pp.pp.- |
#Pages | 4 |
Date of Issue |