Synthesis and analysis of temporal fault trees with PANDORA: the time of priority AND gates

DOI10.1016/J.NAHS.2006.05.003MaRDI QIDQ1003523zbMATH OpenOpenAlexFDO

Authors Martin Walker, Yiannis Papadopoulos

Publication date 4 March 2009

Published in Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.nahs.2006.05.003

zbMATH Keywords

fault tree synthesiship-HOPSreliability analysissafety analysistemporal fault treestemporal logic

Mathematics Subject Classification ID

Reliability, availability, maintenance, inspection in operations research (90B25) Discrete event control/observation systems (93C65)

Recommendations

• Fuzzy temporal fault tree analysis of dynamic systems
• Reliability analysis of non-repairable systems modeled by dynamic fault trees with priority AND gates
• Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools
• scientific article; zbMATH DE number 2129221
• Symbolic Fault Tree Analysis for Reactive Systems

Cites work

• On the Quantitative Analysis of Priority-AND Failure Logic

Describes a project that uses

Uses Software

• Galileo
• Pandora

This page was built for publication: Synthesis and analysis of temporal fault trees with PANDORA: the time of priority AND gates

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1003523)