Name
Title | ||
|---|---|---|
Collision detection and resolution of hazard prevention actions in safety critical systems. |
Abstract | ||
|---|---|---|
Detection and resolution for the occurrence of any collision between hazard prevention actions of different safety devices which may execute simultaneously.Evaluation on the effect of the interactions between the safety devices.Fault prevention tree and resource map for identifying and analyzing the colliding actions.A tool, CAPA that is a Collision Analyzer for Prevention Actions for a safety system. The importance of safety-critical systems can never be overemphasized, as we have witnessed how devastating the accidents were with the recent nuclear power plant explosions and also with airplane and spaceship crashes. To ensure the safety of such systems, system engineers should consider how to prevent system hazards during the design phase of system development. Although existing techniques, such as event tree analysis and cause-consequence analysis, suggest various ways of hazard prevention for safety-critical systems, they per se do not deal with situations where two distinct actions of two separate safety devices can fail to prevent the very hazard they are supposed to prevent, since they collide, or conflict, with each other. In this paper, we propose a technique for identifying and analyzing the colliding actions of safety devices, using fault prevention tree and resource map. We also propose the use of a mediator for coordinating the actions that otherwise would lead to a collision. Through an empirical study, we demonstrate that this technique can help design (more) robust systems that can prevent hazards, while meeting the software safety requirements in practical system development. |
Year | DOI | Venue |
|---|---|---|
2016 | 10.1016/j.jss.2016.04.056 | Journal of Systems and Software |
Keywords | Field | DocType |
Software safety,Collision analysis,Prevention action,Fault prevention tree,Resource map | Resource map,Collision detection,System safety,Life-critical system,Computer science,Computer security,Collision,Nuclear power plant,Event tree analysis,Empirical research | Journal |
Volume | Issue | ISSN |
118 | C | 0164-1212 |
Citations | PageRank | References |
0 | 0.34 | 15 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jang Jin Kwon | 1 | 0 | 0.68 |
| Jang-Eui Hong | 2 | 126 | 20.81 |
| Lawrence Chung | 3 | 236 | 36.31 |