A Method for Quantitative Analysis of State/Event Fault Tree
Bingfeng Xu, Zhiqiu Huang, Hu Jun, Wei Ou, Fangxiong Xiao · Dianzi xuebao · 2013
State/Event Fault Tree(SEFT) is a modeling technique for describing the causal chains which lead to failure in complex systems.One important way for capturing the safety parameters of systems is quantitatively analyzing the probabilistic characteristic of system failures.As lack of precise semantics,SEFT can only be quantitatively analyzed after its semantics being precisely described.In this paper,we present a quantitative analysis method of SEFT based on Interactive Markov Chain(IMC).Firstly,Interface Interactive Markov Chain(Interface-IMC) is proposed based on refining the interactive action of IMC into input and output actions.Secondly,the precise semantics of SEFT is described based on Interface-IMC.Thirdly,a quantitative analysis method is presented based on formal semantic model of SEFT.Finally,the method in this paper is illustrated by modeling and quantitatively analyzing SEFT of aircraft landing gear system.