A Novel Methodology for Synthesis of Fault Trees from MATLAB-Simulink Model

Authors: F. Tajarrod, G. Latif-Shabgahi

Abstract:

Fault tree analysis is a well-known method for reliability and safety assessment of engineering systems. In the last 3 decades, a number of methods have been introduced, in the literature, for automatic construction of fault trees. The main difference between these methods is the starting model from which the tree is constructed. This paper presents a new methodology for the construction of static and dynamic fault trees from a system Simulink model. The method is introduced and explained in detail, and its correctness and completeness is experimentally validated by using an example, taken from literature. Advantages of the method are also mentioned.

Keywords: Fault tree, Simulink, Standby Sparing and Redundancy

Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1079608

References:

[1] P. Liggesmeyer, and M. Rothfelder, "Improving System Reliability with Automatic Fault Tree Generation", Poc. of the FTCS-28: IEEE 28th Ann. Int. Symp. on Fault Tolerant Computing Systems, Munich, 1998, pp. 90-99.
[2] P. Gaspar, and G. Szabo, "On-Line System Verification Applying an Automated Fault Tree Generation Method Integrated into Development Tools", In the Proc. of ESREL ÔÇÿ90; Ann. European Safety and Reliability Conf., Germany, 1999.
[3] E. Bourgade, N. Villatte, S. Humbert, P. Mouttapa, M. Pillière, and I. Renault, "Facilitating Risk and Dependability Analysis - A Computer Program for Automatic Fault Tree Generation: KB3", In the Proc. of 4th Int. Conf. on Probabilistic Safety Assessment and Management, Vol. 2, New York, 1998, pp. 617-622.
[4] J. B. Fussel, "A Formal Methodology for Fault Tree Construction", Nuclear Science and Engineering, vol. 52, 1973, 421-432.
[5] J. R. Taylor, "An Algorithm for Fault Tree Construction", IEEE Transactions on Reliability, R-31, 1982, pp.137-146.
[6] S. A. Lapp, G. J. Powers, "Computer-Aided Synthesis of Fault-Trees", IEEE Trans. on Reliability, R-26, 1977, pp. 2-13.
[7] A. Shafaghi, P. K. Andow, F. P. Lees, "Fault Tree Synthesis Based on Control Loop Structure", Trans.I Chem. E, 62, 1984, pp.101.
[8] B. E. Kelly, and F. L. Lee, "The Propagation of Faults in Process Plants. Modeling of Fault Propagation", Reliability Engineering, Vol. 16, 1986, pp.3-38.
[9] A. Bossche, "Computer-Aided Fault Tree Synthesis. System Modeling and Causal Trees.", Reliab. Eng. Vol. 32, 1991, pp.217-241.
[10] R. C. De Vries, "An Automated Methodology for Generating a Fault Tree", IEEE Trans. on Reliability, Vol. 39, No. 1, 1990, pp.76-86.
[11] J. D. Wang, and T. S Liu, "A Component Behavioral Model for Automatic Fault Tree Construction", Reliability Engineering and System Safety, Vol. 42, 1993, pp.87-100.
[12] M. S. Elliot, "Computer Assisted Fault Tree Construction Using a Knowledge-Based Approach", IEEE Transactions on Reliability, Vol. 43, 1994, pp. 112-120.
[13] Y. Wang, T. Teague, H. West, S. Mannan, "A New Algorithm for Computer-Aided Fault Tree Synthesis", Journal of Prevention in the Process Industries, Vol. 15, 2002, pp. 265-277.
[14] K. K. Vemuri, J. B. Dugan, "Automatic Synthesis of Fault Trees for Computer-Based Systems", IEEE Transactions on Reliability, Vol. 48, No. 4, 1999, pp. 394-402.
[15] Y. Papadopoulos, M. Maruhn, "Model-Based Synthesis of Fault Trees from Matlab-Simulink models", Proceeding International Conference on Dependable Systems and Networks (DSN-2001), Göteberg, Sweden, June 30th-July 4th. 2001.
[16] J. B. Dugan, S. J. Bavuso, and M. A. Boyd, "Fault Trees and Sequence Dependencies", Proc. of the Ann. Reliability and Maintainability Symp., 1990, pp. 286-293.
[17] S. W. Behnen, W. A. Whitehouse, R. J. Farrell, "Advanced System Integration Demonstrations (ASID) System Definition", Tech. Report; USAF Wright Aeronautical Labs. 1984.
[18] J. B. Dugan, S. J. Bavuso and M. A. Boyd, "Dynamic Fault-Tree Models for Fault-Tolerant Computer Systems", IEEE Transactions on Reliability, Vol. 41, No.3. 1992.