Conception of Repairable Dynamic Fault Trees and resolution by the use of RAATSS, a Matlab® toolbox based on the ATS formalism

Reliability Engineering and System Safety

Volumn 121, Issue , 2014, Pages 250-262

  Manno, G ^a   Chiacchio, F ^b   Compagno, L ^b   D'Urso, D ^b   Trapani, N ^b  

^a DNV GL   (Norway)

^b UNIVERSITY OF CATANIA   (Italy)

Author keywords

Adaptive; Availability; Discrete event simulation; Failure gates; First occurrence; System; Transitions

Indexed keywords

AVAILABILITY; DISCRETE EVENT SIMULATION; ELECTRON TRANSITIONS; INDUSTRIAL APPLICATIONS; LARGE SCALE SYSTEMS; MARKOV PROCESSES; SEMANTICS;

ADAPTIVE; DYNAMIC FAULT TREES; FIRST OCCURRENCE; INDUSTRIAL PROCESSS; NETWORK APPLICATIONS; STOCHASTIC TECHNIQUES; SYSTEM; THEORETICAL FRAMEWORK;

MATLAB;

EID: 84885344269     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ress.2013.09.002     Document Type: Article

References (43)

1. Stamatelatos M, Vesely W, Dugan JB, Fragola J, Minarick J, Railsback J. Fault tree handbook with aerospace applications. Washington, DC: NASA Office of Safety and Mission Assurance; 2002.
2. L. Xing, and S.V. Amari Fault tree analysis Handbook of performability engineering 2008 Springer-Verlag London Limited 595 620
3. F. Chiacchio, L. Compagno, D. D'Urso, G. Manno, and N. Trapani Dynamic fault tree resolution: a conscious trade-off between analytical and simulative approaches Reliability Engineering and System Safety 96 11 2011 1515 1526
4. S.V. Amari, A.F. Myers, A. Rauzy, and K.S. Trivedi Imperfect coverage models: status and trends Handbook of performability engineering 2008 Springer-Verlag London Limited 321 348
5. 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
6. Distefano S, Puliafito A. Dynamic reliability block diagrams vs dynamic fault trees. In: Proceedings of the annual reliability and maintainability symposium (RAMS'07); 2007. p. 71-6. (Pubitemid 47133001)
7. M. Bouissou, and J.L. Bon A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes Reliability Engineering and System Safety 82 2003 149 163
8. Codetta-Raiteri D, Franceschinis G, Iacono M, Vittorini V, Repairable Fault Tree for the automatic evaluation of repair policies. In: International conference on dependable systems and networks; 2004.
9. Bouissou M. A generalization of dynamic fault trees through Boolean logic driven Markova processes (BDMP). In: Proceedings of the16th European safety and reliability conference (ESREL'07); 2007.
10. Boudali H, Crouzen P, Stoelinga M. Dynamic fault tree analysis using input/output interactive Markov chains. In: Proceedings of the 37th annual IEEE/IFIP international conference on dependable systems and networks (DSN'07); 2007. p. 708-17.
11. G. Manno, F. Chiacchio, L. Compagno, D. D'Urso, and N. Trapani MatCarloRe: an integrated FT and Monte Carlo Simulink tool for the reliability assessment of dynamic fault tree Expert Systems with Applications 39 12 2012 10334 10342
12. Chiacchio F, Compagno L, D'Urso D, Manno G, Trapani N. An open-source application to model and solve dynamic fault tree of real industrial systems. In: Proceedings of the SKIMA, Benevento, ISBN: 9781467302487, 8-11 September; 2011.
13. Manno G. Reliability modelling of complex systems: an adaptive transition system approach to match accuracy and efficiency. PhD thesis. University of Catania; 2012.
14. J.K. Vaurio Fault Tree analysis of phased mission systems with repairable and non-repairable components Reliability Engineering and System Safety 74 2001 169 180 (Pubitemid 32935124)
15. Gulati R, Dugan JB. A modular approach for analyzing static and dynamic fault trees. In: Proceedings of the annual reliability and maintainability symposium; 1997. p. 57-3.
16. Boudali H, Dugan JB. A new Bayesian network approach to solve dynamic fault trees. In: Proceedings of the annual reliability and maintainability symposium; 2005. p. 451-56.
17. Boudali H, Nijmeijer AP, Stoelinga MIA. DFTsim: a simulation tool for extended dynamic fault trees. In: Proceedings of the SpringSim'09; 2009.
18. D. Codetta Raiteri The conversion of dynamic fault trees to stochastic Petri nets, a case of graph transformation Electronic Notes in Theoretical Computer Science 162 2 2004 45 60
19. F Chiacchio, M. Cacioppo, G. Manno, D. D'Urso, N. Trapani, and L. Compagno A Weibull-based modular approach for the reliability of Dynamic Fault Trees Reliability Engineering and System Safety 109 2013 45 52
20. Manno G, Chiacchio F, D'Urso D, Trapani N, Compagno L. RAATSS, an extensible Matlab® toolbox for the evaluation of repairable dynamic fault trees. In: 11th international probabilistic safety assessment and management conference and the annual European safety and reliability conference 2012 (PSAM11 ESREL 2012), ISBN: 9781622764365. Helsinki, Finland: Curran Associates, Inc.; June 2012. p. 1055-64.
21. D. Codetta-Raiteri Integrating several formalisms in order to increase Fault Trees' modeling power Reliability Engineering and System Safety 96 2011 534 544
22. Boudali H, Crouzen P, Stoelinga M. A compositional semantics for Dynamic Fault Trees in terms of interactive Markov chains. In: Proceedings of the 5th international symposium on automated technology for verification and analysis; 2007. p.441-56.
23. ® reliability studio reference manual. Greensburg, PA: Relex Software Corporation www.relex.com; 2008.
24. Merle G, Roussel JM, Lesage JJ. Improving the efficiency of Dynamic Fault Tree Analysis by considering FDEP gates as static. In: 19th European safety & reliability conference (ESREL'10), Rhodes (Greece); September 2010. p. 845-51.
25. Montani S, Portinale, L; Bobbio, A, Codetta-Raiteri, D. Automatically translating dynamic fault trees into dynamic Bayesian networks by means of a software tool. In: Proceedings of the 1st international conference on availability, reliability and security; 2006.
26. Dugan JB, Venkataraman B, Gulati R, DIFTree: a software package for the analysis of dynamic fault tree models. In: Proceedings of the annual reliability and maintainability symposium; 1997. p. 64-70.
27. J.B. Dugan, and K.J. Sullivan Developing a low-cost high-quality software tool for Dynamic Fault-Tree analysis IEEE Transactions on Reliability 49 1 2000 49 58
28. Sullivan KJ, Dugan JB, Coppit D. The Galileo fault tree analysis tool. In: Proceedings of the digest of papers fault-tolerant computing 29th annual international symposium; 1999. p. 232-35.
29. K.S. Trivedi, and R. Sahner Reliability modeling using Sharpe IEEE Transactions on Reliability 36 1987 186 192
30. J.A. Hillston Compositional approach to performance modelling 1996 Cambridge University Press
31. S. Derisavi, H. Hermanns, and W.H. Sanders Optimal state-space lumping in Markov chains Information Processing Letters 87 6 2003 309 315
32. M. Lanus, and K.S. Trivedi Hierarchical composition and aggregation of state-based availability and performability models IEEE Transactions on Reliability 52 1 2003 44 52
33. PERFORM. Möbius: model based environment for validation of system reliability, availability, security and performance. User's manual, v. 2.0 draft; 2006.
34. J. Bon, and J. Collet An algorithm in order to implement reliability exponential approximations Reliability Engineering & System Safety 43 3 1994 263 268
35. Collet, J, Renault I. Path probability evaluation with repeated rates. In: Proceedings of the annual reliability and maintainability symposium; 1997. p. 184-87.
36. Bouissou M, Lefebvre Y. A path-based algorithm to evaluate asymptotic unavailability for large Markov models. In: Proceedings of the 48th reliability and maintainability annual symposium (RAMS'02); 2002. p. 32-9. (Pubitemid 34236512)
37. H. Hermanns Interactive Markov chains Lecture notes in computer science vol. 2428 2002 Springer
38. W.H. Sanders, and J.F. Meyer Stochastic activity networks: formal definitions and concepts Lectures on formal methods and performance analysis 2002 Springer Verlag
39. Sanders WH. Construction and solution of performability models based on stochastic activity networks. PhD thesis. University of Michigan; 1988.
40. M Kwiatkowska, G Norman, and D Parker PRISM: probabilistic model checking for performance and reliability analysis ACM Sigmetrics Performance Evaluation Review 36 4 2009 40 45
41. Glynn PW. On the role of generalised semi-Markov processes in simulation output analysis. In: Proceedings of the 1983 winter simulation conference; 1983. p. 38-42.
42. Bouissou M. Automated dependability analysis of complex systems with the KB3 workbench: the experience of EDF R&D. In: Proceedings of the international conference on energy and environment (CIEM'05); 2005.
43. M. Bouissou, and J.L. Bon A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes Reliability Engineering & System Safety 82 2 2003 149 163