Synthesis and analysis of temporal fault trees with PANDORA : The time of Priority AND gates

Classical Fault Tree Analysis (FTA) can determine the effects of combinations of failure events on a system but cannot capture the significance of the temporal order of events, which may be critical. In this paper, we propose an extension based on formal definition and use of Priority AND gates that enables representation of event sequences and analysis of temporal relationships in FTA. In addition, we show how this type of temporal analysis can be used in conjunction with a recently proposed method for automated fault tree synthesis to allow accurate failure analyses of system models to be carried out efficiently. The approach is demonstrated on a generic system with a shared backup component. The paper tentatively concludes that this type of temporal FTA can provide a more precise and ultimately more correct insight into the failure behaviour of a system.

[1]  David Coppit,et al.  The Galileo fault tree analysis tool , 1999, Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352).

[2]  Girish Keshav Palshikar.  Temporal fault trees , 2002, Inf. Softw. Technol..

[3]  John Andrews,et al.  New approaches to evaluating fault trees , 1997 .

[4]  Yves Dutuit,et al.  A linear-time algorithm to find modules of fault trees , 1996, IEEE Trans. Reliab..

[5]  W E Vesely,et al.  Fault Tree Handbook , 1987 .

[6]  Yoshinobu Sato,et al.  Quantification of sequential failure logic for fault tree analysis , 2000, Reliab. Eng. Syst. Saf..

[7]  David Coppit,et al.  Combining various solution techniques for dynamic fault tree analysis of computer systems , 1998, Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231).

[8]  J.B. Fussell,et al.  On the Quantitative Analysis of Priority-AND Failure Logic , 1976, IEEE Transactions on Reliability.

[9]  John A. McDermid,et al.  Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure , 2001, Reliab. Eng. Syst. Saf..

[10]  Borut Mavko,et al.  A dynamic fault tree , 2002, Reliab. Eng. Syst. Saf..

[11]  Mamoru Maekawa,et al.  Extending fault trees with an AND-THEN gate , 2000, Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000.

[12]  J. Dugan,et al.  A modular approach for analyzing static and dynamic fault trees , 1997, Annual Reliability and Maintainability Symposium.

[13]  Suprasad V. Amari,et al.  A new approach to solve dynamic fault trees , 2003, Annual Reliability and Maintainability Symposium, 2003..