Constraint analysis for extended dynamic fault tree

Abstract

As a new extension of dynamic fault trees,time delay gate was proposed.This new mechanism can be used to model the time delay on the fault propagation from the lower level subsystems to the higher level system.The dynamic Bayesian networks was extend to solve the dynamic fault trees containing time delay gates.An algorithm based on SMT to support the optimized failure distribution under the nondeterministic range constraint of basic events was also proposed.The effectiveness is shown by comparison with existing tools on analyzing and solving real systems,and the effects of range constraints and gate parameter on the failure distribution of systems is illustrated.

Keywords

• time delay gate;dynamic fault tree;dynamic Bayesian network;satisfiability modulo theory