Abstract: Dynamic fault tree (DFT) is an extension of traditional static fault tree, in which several dynamic gates are introduced to model sequential dependency between fault events. As for the ...