Matches in SemOpenAlex for { <https://semopenalex.org/work/W2342977825> ?p ?o ?g. }
- W2342977825 abstract "Abstract 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." @default.
- W2342977825 created "2016-06-24" @default.
- W2342977825 creator A5021414279 @default.
- W2342977825 creator A5046720058 @default.
- W2342977825 creator A5066379495 @default.
- W2342977825 date "2016-08-01" @default.
- W2342977825 modified "2023-09-24" @default.
- W2342977825 title "Collision detection and resolution of hazard prevention actions in safety critical systems" @default.
- W2342977825 cites W1501219421 @default.
- W2342977825 cites W1566274933 @default.
- W2342977825 cites W1570768271 @default.
- W2342977825 cites W1965134689 @default.
- W2342977825 cites W1966697570 @default.
- W2342977825 cites W1972328181 @default.
- W2342977825 cites W1978353289 @default.
- W2342977825 cites W1992352638 @default.
- W2342977825 cites W2002416144 @default.
- W2342977825 cites W2020338987 @default.
- W2342977825 cites W2030704479 @default.
- W2342977825 cites W2038194106 @default.
- W2342977825 cites W2043170794 @default.
- W2342977825 cites W2047788591 @default.
- W2342977825 cites W2058636114 @default.
- W2342977825 cites W2069644413 @default.
- W2342977825 cites W2075689173 @default.
- W2342977825 cites W2075806344 @default.
- W2342977825 cites W2100583107 @default.
- W2342977825 cites W2107556430 @default.
- W2342977825 cites W2110673892 @default.
- W2342977825 cites W2121121859 @default.
- W2342977825 cites W2127159302 @default.
- W2342977825 cites W2138653344 @default.
- W2342977825 cites W2138939294 @default.
- W2342977825 cites W2147499040 @default.
- W2342977825 cites W2152373297 @default.
- W2342977825 cites W2168693175 @default.
- W2342977825 cites W2170276374 @default.
- W2342977825 cites W2295141510 @default.
- W2342977825 cites W2775302246 @default.
- W2342977825 cites W35950517 @default.
- W2342977825 cites W616390875 @default.
- W2342977825 doi "https://doi.org/10.1016/j.jss.2016.04.056" @default.
- W2342977825 hasPublicationYear "2016" @default.
- W2342977825 type Work @default.
- W2342977825 sameAs 2342977825 @default.
- W2342977825 citedByCount "2" @default.
- W2342977825 countsByYear W23429778252018 @default.
- W2342977825 countsByYear W23429778252019 @default.
- W2342977825 crossrefType "journal-article" @default.
- W2342977825 hasAuthorship W2342977825A5021414279 @default.
- W2342977825 hasAuthorship W2342977825A5046720058 @default.
- W2342977825 hasAuthorship W2342977825A5066379495 @default.
- W2342977825 hasConcept C107094494 @default.
- W2342977825 hasConcept C112930515 @default.
- W2342977825 hasConcept C121704057 @default.
- W2342977825 hasConcept C127413603 @default.
- W2342977825 hasConcept C132835097 @default.
- W2342977825 hasConcept C144133560 @default.
- W2342977825 hasConcept C163707989 @default.
- W2342977825 hasConcept C178790620 @default.
- W2342977825 hasConcept C179800331 @default.
- W2342977825 hasConcept C185592680 @default.
- W2342977825 hasConcept C199360897 @default.
- W2342977825 hasConcept C200601418 @default.
- W2342977825 hasConcept C201995342 @default.
- W2342977825 hasConcept C206345919 @default.
- W2342977825 hasConcept C206355099 @default.
- W2342977825 hasConcept C2777904410 @default.
- W2342977825 hasConcept C31258907 @default.
- W2342977825 hasConcept C38652104 @default.
- W2342977825 hasConcept C41008148 @default.
- W2342977825 hasConcept C49261128 @default.
- W2342977825 hasConcept C94279714 @default.
- W2342977825 hasConceptScore W2342977825C107094494 @default.
- W2342977825 hasConceptScore W2342977825C112930515 @default.
- W2342977825 hasConceptScore W2342977825C121704057 @default.
- W2342977825 hasConceptScore W2342977825C127413603 @default.
- W2342977825 hasConceptScore W2342977825C132835097 @default.
- W2342977825 hasConceptScore W2342977825C144133560 @default.
- W2342977825 hasConceptScore W2342977825C163707989 @default.
- W2342977825 hasConceptScore W2342977825C178790620 @default.
- W2342977825 hasConceptScore W2342977825C179800331 @default.
- W2342977825 hasConceptScore W2342977825C185592680 @default.
- W2342977825 hasConceptScore W2342977825C199360897 @default.
- W2342977825 hasConceptScore W2342977825C200601418 @default.
- W2342977825 hasConceptScore W2342977825C201995342 @default.
- W2342977825 hasConceptScore W2342977825C206345919 @default.
- W2342977825 hasConceptScore W2342977825C206355099 @default.
- W2342977825 hasConceptScore W2342977825C2777904410 @default.
- W2342977825 hasConceptScore W2342977825C31258907 @default.
- W2342977825 hasConceptScore W2342977825C38652104 @default.
- W2342977825 hasConceptScore W2342977825C41008148 @default.
- W2342977825 hasConceptScore W2342977825C49261128 @default.
- W2342977825 hasConceptScore W2342977825C94279714 @default.
- W2342977825 hasLocation W23429778251 @default.
- W2342977825 hasOpenAccess W2342977825 @default.
- W2342977825 hasPrimaryLocation W23429778251 @default.
- W2342977825 hasRelatedWork W12347860 @default.
- W2342977825 hasRelatedWork W128017295 @default.
- W2342977825 hasRelatedWork W144034670 @default.