FPGA-based Monte Carlo simulation for fault tree analysis

Abstract The reliability analysis of critical systems is often performed using fault-tree analysis. Fault trees are analyzed using analytic approaches or Monte Carlo simulation. The usage of the analytic approaches is limited in few models and certain kinds of distributions. In contrast to the analytic approaches, Monte Carlo simulation can be broadly used. However, Monte Carlo simulation is time-consuming because of the intensive computations. This is because an extremely large number of simulated samples may be needed to estimate the reliability parameters at a high level of confidence. In this paper, a tree model, called Time-to-Failure tree, has been presented, which can be used to accelerate the Monte Carlo simulation of fault trees. The time-to-failure tree of a system shows the relationship between the time to failure of the system and the times to failures of its components. Static and dynamic fault trees can be easily transformed into time-to-failure trees. Each time-to-failure tree can be implemented as a pipelined digital circuit, which can be synthesized to a field programmable gate array (FPGA). In this way, Monte Carlo simulation can be significantly accelerated. The performance analysis of the method shows that the speed-up grows with the size of the fault trees. Experimental results for some benchmark fault trees show that this method can be about 471 times faster than software-based Monte Carlo simulation.

[1]  S. Monaghan,et al.  A reconfigurable Monte-Carlo clustering processor (MCCP) , 1994, Proceedings of IEEE Workshop on FPGA's for Custom Computing Machines.

[2]  Kishor S. Trivedi,et al.  Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems , 1989, IEEE Trans. Computers.

[3]  Giovanni Danese,et al.  FPGA based coprocessor to calculate the energy of dipolar system , 2002, Proceedings 10th Euromicro Workshop on Parallel, Distributed and Network-based Processing.

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

[5]  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.

[6]  J. Banks,et al.  Discrete-Event System Simulation , 1995 .

[7]  W E Vesely,et al.  Fault Tree Handbook , 1987 .

[8]  Behrooz Parhami,et al.  Computer arithmetic - algorithms and hardware designs , 1999 .

[9]  Takehisa Kohda,et al.  Probability evaluation of system-failure occurrence based on minimal cut-sets , 2002, Annual Reliability and Maintainability Symposium. 2002 Proceedings (Cat. No.02CH37318).

[10]  Yves Dutuit,et al.  A linear-time algorithm to find modules of fault trees , 1996, IEEE Trans. Reliab..

[11]  Philip Heidelberger,et al.  A Unified Framework for Simulating Markovian Models of Highly Dependable Systems , 1992, IEEE Trans. Computers.

[12]  Marvin Zelen,et al.  Mathematical Theory of Reliability , 1965 .

[13]  Joanne Bechta Dugan,et al.  Dependability assessment using binary decision diagrams (BDDs) , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[14]  Roslyn M. Sinnamon,et al.  Fault tree analysis and binary decision diagrams , 1996, Proceedings of 1996 Annual Reliability and Maintainability Symposium.

[15]  Jonathan Rose,et al.  CALL FOR ARTICLES IEEE Design & Test of Computers Special Issue on Microprocessors , 1996 .

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

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

[18]  Salvatore J. Bavuso Aerospace applications of Weibull and Monte Carlo simulation with importance sampling , 1997, Annual Reliability and Maintainability Symposium.

[19]  Salvatore J. Bavuso,et al.  Fault trees and Markov models for reliability analysis of fault-tolerant digital systems , 1993 .

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

[21]  Seyed Ghassem Miremadi,et al.  Time-to-failure tree , 2003, Annual Reliability and Maintainability Symposium, 2003..

[22]  C. H. Lie,et al.  Fault Tree Analysis, Methods, and Applications ߝ A Review , 1985, IEEE Transactions on Reliability.

[23]  J. Zimmermann,et al.  Monte Carlo hardware simulator for electron dynamics in semiconductors , 1996, 1996 International Semiconductor Conference. 19th Edition. CAS'96 Proceedings.

[24]  Kishor S. Trivedi,et al.  Uncertainty analysis in reliability modeling , 2001, Annual Reliability and Maintainability Symposium. 2001 Proceedings. International Symposium on Product Quality and Integrity (Cat. No.01CH37179).

[25]  David Coppit,et al.  Formal semantics of models for computational engineering: a case study on dynamic fault trees , 2000, Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000.

[26]  J. B. Dugan,et al.  A benchmark for quantitative fault tree reliability analysis , 2001, Annual Reliability and Maintainability Symposium. 2001 Proceedings. International Symposium on Product Quality and Integrity (Cat. No.01CH37179).

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

[28]  Hiromitsu Kumamoto,et al.  Probabilistic Risk Assessment , 1996 .

[29]  David Coppit,et al.  Developing a high-quality software tool for fault tree analysis , 1999, Proceedings 10th International Symposium on Software Reliability Engineering (Cat. No.PR00443).