MatCarloRe: An integrated FT and Monte Carlo Simulink tool for the reliability assessment of dynamic fault tree

With the aim of a more effective representation of reliability assessment for real industry, in the last years concepts like dynamic fault trees (DFT) have gained the interest of many researchers and engineers (dealing with problems concerning safety management, design and development of new products, decision analysis and project management, maintenance of industrial plant, etc.). With the increased computational power of modern calculators is possible to achieve results with low modeling efforts and calculating time. Supported by the strong mathematical basis of state space models, the DFT technique has increased its popularity. Nevertheless, DFT analysis of real application has been more likely based on a specific case to case resolution procedure that often requires a great effort in terms of modeling by the human operator. Moreover, limitations like the state space explosion for increasing number of components, the constrain of using exponential distribution for all kind of basic events constituting any analyzed system and the ineffectiveness of modularization for DFT which exhibit dynamic gates at top levels without incurring in calculation and methodological errors are faces of these methodologies. In this paper we present a high level modeling framework that exceeds all these limitations, based on Monte Carlo simulation. It makes use of traditional DFT systemic modeling procedure and by replicating the true casual nature of the system can produce relevant results with low effort in term of modeling and computational time. A Simulink library that integrates Monte Carlo and FT methodologies for the calculation of DFT reliability has been developed, revealing new insights about the meaning of spare gates.

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

[2]  Liang Yin,et al.  Hierarchical composition and aggregation of state-based availability and performability models , 2003, IEEE Trans. Reliab..

[3]  Arun K. Somani,et al.  Hierarchical analysis of fault trees with dependencies, using decomposition , 1998, Annual Reliability and Maintainability Symposium. 1998 Proceedings. International Symposium on Product Quality and Integrity.

[4]  Yung-Ruei Chang,et al.  An improved decomposition scheme for assessing the reliability of embedded systems by using dynamic fault trees , 2007, Reliab. Eng. Syst. Saf..

[5]  Vitali Volovoi,et al.  Modeling of system reliability Petri nets with aging tokens , 2004, Reliab. Eng. Syst. Saf..

[6]  John D. Andrews,et al.  Dependability analysis of systems with on-demand and active failure modes, using dynamic fault trees , 2002, IEEE Trans. Reliab..

[7]  Arnon Rosenthal Decomposition Methods for Fault Tree Analysis , 1980, IEEE Transactions on Reliability.

[8]  N. Siu,et al.  Risk assessment for dynamic systems: An overview , 1994 .

[9]  David Coppit,et al.  The Galileo fault tree analysis tool , 1999, Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352).

[10]  E. Windebank A Monte Carlo simulation method versus a general analytical method for determining reliability measures of repairable systems , 1983 .

[11]  Luca Podofillini,et al.  Estimation of the importance measures of multi-state elements by Monte Carlo simulation , 2004, Reliab. Eng. Syst. Saf..

[12]  Luca Podofillini,et al.  A Monte Carlo simulation approach to the availability assessment of multi-state systems with operational dependencies , 2007, Reliab. Eng. Syst. Saf..

[13]  A. Goldfeld,et al.  Monte carlo methods in reliability engineering , 1987 .

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

[15]  Kishor S. Trivedi,et al.  A methodology for formal expression of hierarchy in model solution , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

[16]  David Coppit,et al.  Developing a low-cost high-quality software tool for dynamic fault-tree analysis , 2000, IEEE Trans. Reliab..

[17]  Suprasad V. Amari,et al.  A new approach to solve dynamic fault trees , 2003, Annual Reliability and Maintainability Symposium, 2003..

[18]  Benoît Iung,et al.  Monte Carlo-based assessment of system availability. A case study for cogeneration plants , 2005, Reliab. Eng. Syst. Saf..

[19]  Kishor S. Trivedi,et al.  The hybrid automated reliability predictor , 1986 .

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

[21]  Ajit Srividya,et al.  Dynamic fault tree analysis using Monte Carlo simulation in probabilistic safety assessment , 2009, Reliab. Eng. Syst. Saf..

[22]  Jeffery D. Lewins,et al.  Monte Carlo studies of engineering system reliability , 1992 .

[23]  S. Rahman Reliability Engineering and System Safety , 2011 .

[24]  Luigi Portinale,et al.  Radyban: A tool for reliability analysis of dynamic fault trees through conversion into dynamic Bayesian networks , 2008, Reliab. Eng. Syst. Saf..

[25]  Yansong Ren,et al.  Design of reliable systems using static and dynamic fault trees , 1998 .

[26]  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).

[27]  Enrico Zio,et al.  A concept paper on dynamic reliability via Monte Carlo simulation , 1998 .

[28]  Enrico Zio,et al.  Monte Carlo estimation of the differential importance measure: application to the protection system of a nuclear reactor , 2004, Reliab. Eng. Syst. Saf..

[29]  Borut Mavko,et al.  A dynamic fault tree , 2002, Reliab. Eng. Syst. Saf..

[30]  Joanne Bechta Dugan,et al.  DIFtree: a software package for the analysis of dynamic fault tree models , 1997, Annual Reliability and Maintainability Symposium.

[31]  Luigi Portinale,et al.  Improving the analysis of dependable systems by mapping fault trees into Bayesian networks , 2001, Reliab. Eng. Syst. Saf..

[32]  Samuel S. Chiu,et al.  A Method to Calculate Steady-State Distributions of Large Markov Chains by Aggregating States , 1987, Oper. Res..

[33]  Takehisa Kohda,et al.  Finding modules in fault trees , 1989 .

[34]  E. Zio Biasing the transition probabilities in direct Monte Carlo , 1995 .

[35]  Elmer E Lewis,et al.  Monte Carlo simulation of Markov unreliability models , 1984 .