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.
This work was partially supported by grant ANR MARMOTE (ANR-12-MONU-0019).
- 1.H. Boudali, P. Crouzen, M. Stoelinga, Dynamic fault tree analysis using input/output interactive markov chains, in The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, Edinburgh, UK, pp. 708–717 (2007)Google Scholar
- 3.J.-M. Fourneau, I. Kadi, N. Pekergin, Improving time parallel simulation for monotone systems, in 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, ed. by S.J. Turner, D. Roberts, W. Cai, A. El-Saddik, Singapore, pp. 231–234 (2009)Google Scholar
- 4.J.-M. Fourneau, F. Quessette, Tradeoff between accuracy and efficiency in the time-parallel simulation of monotone systems, in EPEW 2012, Munich (2012)Google Scholar
- 6.NASA. Fault tree handbook, nureg-0492, technical report, United States Nuclear Regulatory Commission (1981)Google Scholar