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

DOI10.1016/J.NAHS.2006.05.003zbMath1279.90052OpenAlexW2040292644MaRDI QIDQ1003523

Yiannis Papadopoulos, Martin Walker

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

temporal logicreliability analysistemporal fault treessafety analysisfault tree synthesiship-HOPS

Mathematics Subject Classification ID

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

Uses Software

• Unnamed Item
• Unnamed Item

Cites Work

• On the Quantitative Analysis of Priority-AND Failure Logic

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