A method of quantitative analysis for dynamic fault tree

In order to efficiently perform reliability quantitative analysis for dynamic system, whose behaviors containing temporal dependency make the analysis very complicated, a quantitative analysis method applied to dynamic fault tree is proposed. Above all, the conception of extended cut sequence is brought forward. Extended cut sequence includes temporal logic and has more expressive capability than previous similar conceptions. Secondly, generates the set of minimal extended cut sequence. Thirdly, the conflict detection, the reduction of temporal constraints and the topological sort of basic events are carried out to quantitatively analyze each cut item. Finally, the system reliability parameters are acquired through the combination. One example is particularly described to evaluate this method which is compared to another method. The result shows that this method has concise expressive form of cut sequence, efficient process, precise data and low time cost. This method also provides a novel foundation for further research on reliability quantitative analysis.