A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf
.
PANDORA 2: THE TIME OF PRIORITY-OR GATES
2007
IFAC Proceedings Volumes
Pandora is a recently proposed technique that extends classical Fault Tree Analysis to incorporate the effects of the temporal ordering of failure events. In this paper, we extend the conceptual foundation of Pandora with a new Priority-OR (POR) gate and we introduce the concept of a Temporal Truth Table as a mechanism that can be used to prove equivalence of expressions in Pandora logic. We also show how logical reduction can be performed using a set of temporal laws in the new logic and how
doi:10.3182/20070613-3-fr-4909.00007
fatcat:b7tbmk2g5nbk7iip7nix6ei7m4