Synthesis and analysis of temporal fault trees with PANDORA : The time of Priority AND gates
暂无分享,去创建一个
[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..