%0 Journal Article
	%A F. Tajarrod and  G. Latif-Shabgahi
	%D 2008
	%J International Journal of Computer and Information Engineering
	%B World Academy of Science, Engineering and Technology
	%I Open Science Index 17, 2008
	%T A Novel Methodology for Synthesis of Fault Trees from MATLAB-Simulink Model
	%U https://publications.waset.org/pdf/12657
	%V 17
	%X 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.
	%P 1756 - 1762