Qualitative temporal analysis: Towards a full implementation of the Fault Tree Handbook

Control Engineering Practice

Volumn 17, Issue 10, 2009, Pages 1115-1125

  Walker, Martin ^a   Papadopoulos, Yiannis ^a  

^a UNIVERSITY OF HULL   (United Kingdom)

Author keywords

Fault trees; Reliability; Safety analysis; Safety critical; Temporal logic

Indexed keywords

BOOLEAN GATE; DE FACTO STANDARD; DYNAMIC BEHAVIOURS; EXCLUSIVE-OR GATE; FAILURE EVENTS; FAULT TREES; LOGICAL FOUNDATIONS; MATHEMATICAL FOUNDATIONS; REDUNDANT SYSTEM; SAFETY ANALYSIS; SAFETY CRITICAL; TEMPORAL ANALYSIS; TEMPORAL ORDERING;

FAULT TREE ANALYSIS; GATES (TRANSISTOR); HANDBOOKS; QUALITY CONTROL; RELIABILITY ANALYSIS; SECURITY SYSTEMS; TEMPORAL LOGIC;

QUALITY ASSURANCE;

EID: 68749095373     PISSN: 09670661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.conengprac.2008.10.003     Document Type: Article

References (16)

1. Fussel J.B., Aber E.F., and Rahl R.G. On the quantitative analysis of Priority-AND failure logic. IEEE Transactions on Reliability R-25/5 (1976) 324-326
2. Long W., Sato Y., and Horigome M. Quantification of sequential failure logic for fault tree analysis. Reliability Engineering & System Safety 67 (2000) 269-274
3. Manian, R., Dugan, J. B., Coppit, D., & Sullivan, K. J. (1998). Combining various solution techniques for dynamic fault tree analysis of computer systems. In Third IEEE international high-assurance systems engineering symposium (p. 21), Washington, DC, November 13-14.
4. Merle, G., & Roussel, J.-M. (2007). Algebraic modelling of temporal fault trees. In First IFAC workshop on dependable control of discrete systems (DCDS'07) (pp. 175-180), Paris, France, June.
5. Palshikar G.K. Temporal fault trees. Information and Software Technology 44 (2002) 137-150
6. Parker, D., Walker, M., Papadopoulos, Y., & Grante, C. (2006). Component-based, automated FMEA of advanced active safety systems. In FISITA'06, 31st world automotive congress, Yokohama.
7. Sullivan, K., Dugan, J., & Coppit, D. (1999). The Galileo fault tree analysis tool. In Proceedings of IEEE international symposium of fault tolerant computing, FTC-29 (pp. 232-235), June.
8. Tang, Z., & Dugan, J. B. (2004). Minimal cut set/sequence generation for dynamic fault trees. In Annual reliability and maintainability symposium proceedings.
9. Vesely W.E., Goldberg F.F., Roberts N.H., and Haasl D.F. Fault tree handbook (1981), US Nuclear Regulatory Commission, Washington, DC, USA
10. Vesely, W. E., Stamatelatos, M., Dugan, J. B., Fragola, J., Minarick, J., & Railsback, J. (2002). Fault tree handbook with aerospace applications. NASA Office of Safety and Mission Assurance, USA.
11. Walker M., Bottaci L., and Papadopoulos Y.I. Compositional temporal fault tree analysis. SAFECOMP 2007. Computer safety, reliability, and security (2007), Springer, Berlin/Heidelberg 106-119
12. Walker, M., & Papadopoulos, Y .I. (2006). Pandora: The time of priority-AND gates. In INCOM 2006 (pp. 237-242), France.
13. Walker, M., & Papadopoulos, Y. I. (2007). Pandora 2: The time of priority-OR gates. In First IFAC workshop on dependable control of discrete systems (DCDS'07) (pp. 169-174), Paris, France, June.
14. Wijayarathna, P. G., Kawat, Y., Santosa, A., & Isogai, K. (1997). Representing relative temporal knowledge with the tand connective. In Eighth Ireland conference on artificial intelligence (AI-97) (Vol. 2, pp. 80-87), September.
15. Wijayarathna, P. G., & Maekawa, M. (2000). Extending fault trees with an AND-THEN gate. In Proceedings of the 11th international symposium on software reliability engineering (ISSRE'00).
16. Worrell, R. B., & Stack, D. W. (1978). A SETS user manual for the fault tree analyst. In NUREG CR-04651.