Time Parallel Simulation for Dynamic Fault Trees

Dynamic Fault Trees (DFT) are a generalization of Fault Trees which allow the evaluation of the reliability of complex and redundant systems. We propose to analyze DFT by a new version of time-parallel simulation method we have recently introduced. This method takes into account the monotonicity of the sample-paths to derive upper and lower bounds of the paths which become tighter when we increase the simulation time. As some gates of the DFT are not monotone, we adapt our method.