SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Fault tree construction of hybrid system requirements using qualitative formal method
1 references·3 citing·15 second hop
Fault tree construction of hybrid system requirements using qualitative formal method (2004)Fault tree construction of hybrid system …Formalising Fault Trees (1995)Formalising Fault TreesAn extended system-theoretic hazard analysis method for the safety of high-speed railway train control systems (2016)An extended system-theoretic …FAULT AND EVENT-TREE TECHNIQUES IN OCCUPATIONAL HEALTH-SAFETY SYSTEMS - PART II: STATISTICAL ANALYSIS (2014)FAULT AND EVENT-TREE TECHNIQU…Fault root cause tracing of complicated equipment based on fault graph (2012)Fault root cause tracing of c…Fault Tree Handbook (1987)Extending Safety Analysis Techniques with Formal Semantics (1994)An Object-Based Approach to Modelling and Analysis of Failure Properties (1997)Timing Aspects of Fault Tree Analysis of Safety Critical Systems (1997)Partially automatic generation of fault-trees with time dependencies (2006)Digraph Matrix Analysis (1985)A polychromatic sets approach to the conceptual design of machine tools (2005)Bouncing failure analysis (BFA): the unified FTA-FMEA methodology (2005)Risk Modeling, Assessment, And Management (1999)Improving the analysis of dependable systems by mapping fault trees into Bayesian networks (2001)Risk analysis and assessment methodologies in the work sites: On a review, classification and comparative study of the scientific literature of the period 2000–2009 (2011)A System-Theoretic Hazard Analysis Methodology for a Non-advocate Safety Assessment of the Ballistic Missile Defense System (2006)Development of a code-agnostic computational infrastructure for the dynamic generation of accident progression event trees (2009)Engineering a Safer World (2012)Introducing a system theoretic framework for safety in the rail sector: supplementing CSM-RA with STPA (2020)
this work references cited by second hop

References

  • 1995Formalising Fault Trees20 cited

Cited by

  • 2016An extended system-theoretic hazard analysis method for the safety of high-speed railway train control systems9 cited
  • 2012Fault root cause tracing of complicated equipment based on fault graph5 cited
  • 2014FAULT AND EVENT-TREE TECHNIQUES IN OCCUPATIONAL HEALTH-SAFETY SYSTEMS - PART II: STATISTICAL ANALYSIS5 cited

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