Research on the method of dynamic fault tree analysis · Study