A Numerical Analysis of Dynamic Fault Trees Based on Stochastic Bounds

• Autores: J.M. Fourneau, Nihal Pekergin
• Localización: Quantitative evaluation of systems: 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings / coord. por Francisco Javier Campos Laclaustra, Boudewijn R Haverkort, 2015, ISBN 9783319222639, págs. 176-191
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • We present a numerical method based on stochastic bounds and computations of discrete distributions to get the transient reliability of a system described by a Dynamic Fault Tree. We show that the gates of the tree are associated to simple operators on the probability distributions of the time to failure. We also prove that almost all operators are stochastically monotone, which allows us to simplify the computation complexity using stochastic bounds. We show that replicated events and functional dependency gates can be analyzed with conditional probabilities which can be handled with the same techniques but with a higher complexity. Finally we show the tradeoff between the precision of the approach and the complexity of the computations.