Synthesis and analysis of temporal fault trees with PANDORA 11PAND-ORA: Hour or "time" (ORA [over(ω, ́) ρ α] in Greek) of PAND gates.: The time of Priority AND gates

Nonlinear Analysis: Hybrid Systems

Volumn 2, Issue 2, 2008, Pages 368-382

  Walker, Martin ^a   Papadopoulos, Yiannis ^a  

^a UNIVERSITY OF HULL   (United Kingdom)

Author keywords

Fault tree synthesis; HiP HOPS; Reliability analysis; Safety analysis; Temporal fault trees; Temporal logic

Indexed keywords

EID: 40949121418     PISSN: 1751570X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.nahs.2006.05.003     Document Type: Article

References (17)

1. Papadopoulos Y., McDermid J.A., Sasse R., and Heiner G. Analysis and synthesis of the behaviour of complex systems in conditions of failure. Reliability Engineering and System Safety 71 3 (2001) 229-247
2. W.E. Vesely, F.F. Goldberg, N.H. Roberts, D.F. Haasl, Fault Tree Handbook, US Nuclear Regulatory Commission, Washington DC, USA, 1981
3. Fussel J.B., Aber E.F., and Rahl R.G. On quantitative analysis of PAND failure logic. IEEE Transactions on Reliability R-25/5 (1976) 324-326
4. W. Long, Y. Sato, A Comparison between probabilistic models for quantification of Priority-AND gates, in: Proceedings of the PSAM-4, vol. 2, 1998, pp. 1215-1220
5. Long W., Sato Y., and Horigome M. Quantification of sequential failure logic for fault tree analysis. Reliability Engineering & System Safety 67 (2000) 269-274
6. Cepin M., and Mavko B. A dynamic fault tree. Reliability Engineering & System Safety 75 (2002) 83-91
7. S. Amari, G. Dill, E. Howald, A new approach to solve dynamic fault trees, in: Reliability and Maintainability Symposium, 2003. Annual, 2003
8. K. Sullivan, J. Dugan, D. Coppit, The Galileo fault tree analysis tool, in: IEEE Int'l Symp. of Fault Tolerant Computing, June 1999, pp. 232-235
9. R. Manian, J.B. Dugan, D. Coppit, K.J. Sullivan, Combining various solution techniques for dynamic fault tree analysis of computer systems, in: Third IEEE International High-Assurance Systems Engineering Symposium, 13-14 November 1998, Washington DC, p. 21
10. Dutuit Y., and Rauzy A. A linear-time algorithm to find modules of fault trees. IEEE Transactions on Reliability R-45/3 (1996) 422-425
11. R. Gulati, J.B. Dugan, A modular approach for analyzing static and dynamic fault trees, in: Proceedings of the Annual Reliability and Maintainability Symposium, Philadelphia, Pennsylvania, January 1997, pp. 57-63
12. Palshikar G.K. Temporal fault trees. Information and Software Technology 44 (2002) 137-150
13. P.G. Wijayarathna, M. Maekawa, Extending Fault Trees with an AND-THEN gate, in: 11th Int'l Symp. on Software Reliability Engineering, 2000
14. Sinnamon R.M., and Andrews J.D. New approaches to evaluating fault trees. Reliability Engineering and System Safety 58 (1997) 89-96
15. R.B. Worrell, D.W. Stack, A SETS user manual for the fault tree analyst. NUREG CR-04651, 1978
16. P.G. Wijayarathna, Y. Kawata, A. Santosa, K. Isogai, Representing relative temporal knowledge with the tand connective, in: Eight Ireland Conference on Artificial Intelligence, AI-97, vol 2, 1997, pp. 80-87
17. J.D. Andrews, To not or not to not, in: Proceedings of the 18th International System Safety Conference, September 2000, Fort Worth, pp. 267-275