SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Modeling and Analysis of Safety-Critical Cyber Physical Systems using State/Event Fault Trees
2 references·0 citing·12 second hopsampled
Modeling and Analysis of Safety-Critical Cyber Physical Systems using State/Event Fault Trees (2013)Modeling and Analysis of Safety-Critical …Modeling safety and security interdependencies with BDMP (Boolean logic Driven Markov Processes) (2010)Modeling safety and security …State-Event-Fault-Trees – A Safety Analysis Model for Software Controlled Systems (2004)State-Event-Fault-Trees – A S…b'Fault Tree Handbook' (1981)Fault Tree Handbook (1987)A new component concept for fault trees (2003)Timing analysis of safety properties using fault trees with time dependencies and timed state-charts (2011)Method for evaluating an extended Fault Tree to analyse the dependability of complex systems: Application to a satellite-based railway system (2014)Fault Tree Analysis With Interval Uncertainty: A Case Study of the Aircraft Flap Mechanism (2020)Security Assessments of Safety Critical Systems Using HAZOPs (2001)A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes (2003)Integrating cyber attacks within fault trees (2009)Safety and Security Interactions Modeling Using the BDMP Formalism: Case Study of a Pipeline (2014)Unified Security and Safety Risk Assessment - A Case Study on Nuclear Power Plant (2014)Probabilistic assessment of integrated safety and security related abnormal events: a case of chemical plants (2018)
this work references cited by second hop· second hop is a sample of the most-cited connections

References

  • 2004State-Event-Fault-Trees – A Safety Analysis Model for Software Controlled Systems102 cited
  • 2010Modeling safety and security interdependencies with BDMP (Boolean logic Driven Markov Processes)85 cited

Cited by

No citing works inside the corpus for this window.

Only edges whose both ends are imported exist here. Widen the year window, or show the whole map. Back to the work