{"references": ["P. Liggesmeyer, and M. Rothfelder, \"Improving System Reliability with\nAutomatic Fault Tree Generation\", Poc. of the FTCS-28: IEEE 28th\nAnn. Int. Symp. on Fault Tolerant Computing Systems, Munich, 1998, pp. 90-99.", "P. Gaspar, and G. Szabo, \"On-Line System Verification Applying an\nAutomated Fault Tree Generation Method Integrated into Development\nTools\", In the Proc. of ESREL \u00d4\u00c7\u00ff90; Ann. European Safety and Reliability Conf., Germany, 1999.", "E. Bourgade, N. Villatte, S. Humbert, P. Mouttapa, M. Pilli\u00e8re, and I.\nRenault, \"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,\nNew York, 1998, pp. 617-622.", "J. B. Fussel, \"A Formal Methodology for Fault Tree Construction\",\nNuclear Science and Engineering, vol. 52, 1973, 421-432.", "J. R. Taylor, \"An Algorithm for Fault Tree Construction\", IEEE Transactions on Reliability, R-31, 1982, pp.137-146.", "S. A. Lapp, G. J. Powers, \"Computer-Aided Synthesis of Fault-Trees\",\nIEEE Trans. on Reliability, R-26, 1977, pp. 2-13.", "A. Shafaghi, P. K. Andow, F. P. Lees, \"Fault Tree Synthesis Based on\nControl Loop Structure\", Trans.I Chem. E, 62, 1984, pp.101.", "B. E. Kelly, and F. L. Lee, \"The Propagation of Faults in Process Plants.\nModeling of Fault Propagation\", Reliability Engineering, Vol. 16, 1986,\npp.3-38.", "A. Bossche, \"Computer-Aided Fault Tree Synthesis. System Modeling and Causal Trees.\", Reliab. Eng. Vol. 32, 1991, pp.217-241.\n[10] R. C. De Vries, \"An Automated Methodology for Generating a Fault\nTree\", IEEE Trans. on Reliability, Vol. 39, No. 1, 1990, pp.76-86.\n[11] J. D. Wang, and T. S Liu, \"A Component Behavioral Model for\nAutomatic Fault Tree Construction\", Reliability Engineering and System\nSafety, Vol. 42, 1993, pp.87-100.\n[12] M. S. Elliot, \"Computer Assisted Fault Tree Construction Using a\nKnowledge-Based Approach\", IEEE Transactions on Reliability, Vol.\n43, 1994, pp. 112-120.\n[13] Y. Wang, T. Teague, H. West, S. Mannan, \"A New Algorithm for\nComputer-Aided Fault Tree Synthesis\", Journal of Prevention in the\nProcess Industries, Vol. 15, 2002, pp. 265-277.\n[14] K. K. Vemuri, J. B. Dugan, \"Automatic Synthesis of Fault Trees for\nComputer-Based Systems\", IEEE Transactions on Reliability, Vol. 48,\nNo. 4, 1999, pp. 394-402.\n[15] Y. Papadopoulos, M. Maruhn, \"Model-Based Synthesis of Fault Trees\nfrom Matlab-Simulink models\", Proceeding International Conference on\nDependable Systems and Networks (DSN-2001), G\u00f6teberg, Sweden,\nJune 30th-July 4th. 2001.\n[16] J. B. Dugan, S. J. Bavuso, and M. A. Boyd, \"Fault Trees and Sequence\nDependencies\", Proc. of the Ann. Reliability and Maintainability Symp.,\n1990, pp. 286-293.\n[17] S. W. Behnen, W. A. Whitehouse, R. J. Farrell, \"Advanced System\nIntegration Demonstrations (ASID) System Definition\", Tech. Report;\nUSAF Wright Aeronautical Labs. 1984.\n[18] J. B. Dugan, S. J. Bavuso and M. A. Boyd, \"Dynamic Fault-Tree Models\nfor Fault-Tolerant Computer Systems\", IEEE Transactions on Reliability, Vol. 41, No.3. 1992."]}

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.