Algebraic determination of the structure function of Dynamic Fault Trees

Reliability Engineering and System Safety

Volumn 96, Issue 2, 2011, Pages 267-277

  Merle, G ^a   Roussel, J M ^a   Lesage, J J ^a  

^a UNIVERSITÉ PARIS SACLAY   (France)

Author keywords

Algebraic modeling; Dynamic Fault Tree; Structure function

Indexed keywords

ALGEBRAIC FRAMEWORK; ALGEBRAIC MODELING; DYNAMIC FAULT TREE; DYNAMIC FAULT TREES; MODEL DYNAMICS; QUALITATIVE AND QUANTITATIVE ANALYSIS; STRUCTURE FUNCTIONS;

ALGEBRA;

EID: 78751584727     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ress.2010.10.001     Document Type: Review

References (25)

1. Bobbio A, Codetta Raiteri D. Parametric fault trees with dynamic gates and repair boxes. In: Proceedings of the annual reliability and maintainability symposium (RAMS 2004), Los Angeles, CA, USA, 2004. p. 45965.
2. H. Boudali, and J.B. Dugan A discrete-time Bayesian network reliability modeling and analysis framework Reliability Engineering and System Safety 87 3 2005 337 349
3. H. Boudali, and J.B. Dugan A continuous-time Bayesian network reliability modeling, and analysis framework IEEE Transactions on Reliability 55 1 2006 86 97
4. H. Boudali, P. Crouzen, and M. Stoelinga Dynamic fault tree analysis through input/output interactive Markov chains Proceedings of the international conference on dependable systems and networks (DSN 2007) 2007 IEEE Computer Society 25 38
5. H. Boudali, P. Crouzen, and M. Stoelinga A compositional semantics for dynamic fault tree in terms of interactive Markov chains Proceedings of the international symposium on automated technology for verification and analysis (ATVA'07). Lecture notes in computer science vol. 4762 2007 Springer Verlag 441 456
6. H. Boudali, P. Crouzen, and M. Stoelinga A rigorous, compositional, and extensible framework for dynamic fault tree analysis IEEE Transactions on Dependable and Secure Computing 7 2 2010 128 143
7. D. Codetta Raiteri The conversion of dynamic fault trees to stochastic petri nets, as a case of graph transformation Electronic Notes on Theoretical Computer Science 127 2 2005 45 60
8. J.B. Dugan, S.J. Bavuso, and M.A. Boyd Dynamic fault-tree models for fault-tolerant computer systems IEEE Transactions on Reliability 41 3 1992 363 377
9. J.B. Dugan, K.J. Sullivan, and D. Coppit Developing a low-cost high-quality software tool for dynamic fault-tree analysis IEEE Transactions on Reliability 49 1 2000 49 59
10. S.L. Lauritzen, and F. Jensen Stable local computation with conditional Gaussian distributions Statistics and Computing 11 2 2001 191 203
11. M. Malhotra, and K. Trivedi Power-hierarchy among dependability model types IEEE Transactions on Reliability 43 3 1994 493 502
12. Merle G, Roussel JM, Lesage JJ. Algebraic framework for the modelling of priority dynamic fault trees. Internal Report; 2008. Available: 〈 http://www.lurpa.ens-cachan.fr/isa/aadft/documents/LURPA-2008-Framework.pdf 〉.
13. G. Merle, J.M. Roussel, J.J. Lesage, and A. Bobbio Probabilistic algebraic analysis of fault trees with priority dynamic gates and repeated events IEEE Transactions on Reliability 59 1 2010 250 261
14. Merle G. Algebraic modelling of dynamic fault trees, contribution to qualitative and quantitative analysis. PhD Thesis, cole Normale Suprieure de Cachan, France, 2010.
15. Montani S, Portinale L, Bobbio A, Varesio M, Codetta-Raiteri D. DBNet, a tool to convert dynamic fault trees into dynamic Bayesian networks. Universit del Piemonte Orientale, Technical Report TR-INF-2005-08-02-UNIPMN; 2005.
16. S. Moral, R. Rum, and A. Salmern Mixtures of truncated exponentials in hybrid Bayesian networks Proceedings of the 6th European conference on symbolic and quantitative approaches to reasoning with uncertainty. Lecture notes in artificial intelligence vol. 2143 2001 145 167
17. F. Ortmeier, G. Schellhorn, A. Thums, W. Reif, B. Hering, and H. Trappschuh Safety analysis of the height control system for the Elbtunnel Reliability Engineering and System Safety 81 3 2003 259 268
18. A. Rauzy Mathematical foundations of minimal cutsets IEEE Transactions on Reliability 50 4 2001 389 396
19. K.A. Reay, and J.D. Andrews A fault tree analysis strategy using binary decision diagrams Reliability Engineering and System Safety 78 1 2002 45 56
20. Stamatelatos M, Vesely W. Fault tree handbook with aerospace applications. NASA Office of Safety and Mission Assurance, vol. 1.1, 2002. p. 1205.
21. K. Trivedi Probability & statistics with reliability, queueing & computer science applications 2nd ed 2001 Wiley
22. Vesely WE, Goldberg FF, Roberts NH, Haasl DF. Fault tree handbook. Washington, DC, USA: US Nuclear Regulatory Commission; 1981.
23. M. Walker, and Y. Papadopoulos Qualitative temporal analysis: towards a full implementation of the fault tree handbook Control Engineering Practice 17 10 2009 1115 1125
24. T. Yuge, and S. Yanagi Quantitative analysis of a fault tree with priority AND gates Reliability Engineering and System Safety 93 11 2008 1577 1583
25. Zhu H, Zhou S, Dugan JB, Sullivan KJ. A benchmark for quantitative fault tree reliability analysis. In: Proceedings of the annual reliability and maintainability symposium 2001 (RAMS 2001), Philadelphia, PA, USA, 2001. p. 8693.