RAATSS, an extensible Matlab® toolbox for the evaluation of repairable dynamic fault trees

In recent years, a new generation of dynamic modeling tools for reliability evaluation of complex systems has been developed. At first, state-space methodologies were successfully used to model systems characterized by interdependencies that cannot be handled by traditional combinatorial techniques. Afterwards, more descriptive methodologies (like DFT, DRBD, BDMP, etc.) have been proposed in order to enrich the intuitiveness of combinatorial methods with the capabilities to model dynamic dependencies. However, despite the promises of researchers and the efforts of end-users, the diffusion of such procedures into the industrial world has not been impressive: risk assessment procedures were not as straight as earlier and, what is worse, it has become difficult to understand the effects of such dynamism. In this paper, we focus on the Dynamic Fault Tree (DFT) methodology and present a tool based on a novel formalism, the Adaptive Transitions System (ATS). Starting from the state of the art, a set of standardized rules are drawn in order to frame the behaviors of the dynamic gates of DFT with repairable components. These rules were used as specification to design a basic library for the resolution of extended, repairable DFT. The designed tool may result of great interest because it is written in Matlab® code and can be easily extended. Moreover, this work introduces some novel concept addressed to the DFT modeling and provide a basic hint of the ATS capabilities to describe complex system interdependencies.

[1]  J. Dugan,et al.  A modular approach for analyzing static and dynamic fault trees , 1997, Annual Reliability and Maintainability Symposium.

[2]  Marc Bouissou,et al.  A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes , 2003, Reliab. Eng. Syst. Saf..

[3]  Jussi K. Vaurio Fault tree analysis of phased mission systems with repairable and non-repairable components , 2001, Reliab. Eng. Syst. Saf..

[4]  Salvatore J. Bavuso,et al.  Dynamic fault-tree models for fault-tolerant computer systems , 1992 .

[5]  Mariëlle Stoelinga,et al.  Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains , 2007, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07).

[6]  Ferdinando Chiacchio,et al.  An open-source application to model and solve dynamic fault tree of real industrial systems , 2011, 2011 5th International Conference on Software, Knowledge Information, Industrial Management and Applications (SKIMA) Proceedings.

[7]  Jane Hillston,et al.  A compositional approach to performance modelling , 1996 .

[8]  Makis Stamatelatos,et al.  Fault tree handbook with aerospace applications , 2002 .

[9]  Ferdinando Chiacchio,et al.  MatCarloRe: An integrated FT and Monte Carlo Simulink tool for the reliability assessment of dynamic fault tree , 2012, Expert Syst. Appl..

[10]  Mariëlle Stoelinga,et al.  DFTSim: a simulation tool for extended dynamic fault trees , 2009, SpringSim '09.

[11]  William H. Sanders,et al.  Stochastic Activity Networks: Formal Definitions and Concepts , 2002, European Educational Forum: School on Formal Methods and Performance Analysis.

[12]  Peter W. Glynn,et al.  On the role of generalized semi-Markov processes in simulation output analysis , 1983, WSC '83.

[13]  A. Puliafito,et al.  Dynamic Reliability Block Diagrams VS Dynamic Fault Trees , 2007, 2007 Annual Reliability and Maintainability Symposium.

[14]  H. Boudali,et al.  A new Bayesian network approach to solve dynamic fault trees , 2005, Annual Reliability and Maintainability Symposium, 2005. Proceedings..

[15]  William H. Sanders,et al.  Construction and solution of performability models based on stochastic activity networks , 1988 .

[16]  Ferdinando Chiacchio,et al.  Dynamic fault trees resolution: A conscious trade-off between analytical and simulative approaches , 2011, Reliab. Eng. Syst. Saf..

[17]  Kishor S. Trivedi,et al.  Imperfect Coverage Models: Status and Trends , 2008 .

[18]  Marta Z. Kwiatkowska,et al.  PRISM: probabilistic model checking for performance and reliability analysis , 2009, PERV.

[19]  Daniele Codetta Raiteri The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation , 2005, Electron. Notes Theor. Comput. Sci..