FPGA-based Monte Carlo simulation for fault tree analysis

被引:63
作者
Ejlali, A [1 ]
Miremadi, SG [1 ]
机构
[1] Sharif Univ Technol, Dept Comp Engn, Tehran, Iran
关键词
D O I
10.1016/j.microrel.2004.01.016
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
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. (C) 2004 Elsevier Ltd. All rights reserved.
引用
收藏
页码:1017 / 1028
页数:12
相关论文
共 35 条
  • [1] Anand A., 1998, Annual Reliability and Maintainability Symposium 1998 Proceedings. International Symposium on Product Quality and Integrity (Cat. No.98CH36161), P69, DOI 10.1109/RAMS.1998.653591
  • [2] [Anonymous], 1992, PROBABILISTIC RISK A
  • [3] Banks J., 2000, Discrete-Event System Simulation, V3rd ed.
  • [4] BARDELL PH, 1987, BUILD IN TEST VLSI P
  • [5] Barlow RE., 1996, MATH THEORY RELIABIL
  • [6] Aerospace applications of Weibull and Monte Carlo simulation with importance sampling
    Bavuso, SJ
    [J]. ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM - 1997 PROCEEDINGS: THE INTERNATIONAL SYMPOSIUM ON PRODUCT QUALITY & INTEGRITY, 1997, : 208 - 210
  • [7] FPGA and CPLD architectures: A tutorial
    Brown, S
    Rose, J
    [J]. IEEE DESIGN & TEST OF COMPUTERS, 1996, 13 (02): : 42 - 57
  • [8] Chu P. P., 1999, MAPLD
  • [9] Formal semantics of models for computational engineering: A case study on dynamic fault trees
    Coppit, D
    Sullivan, KJ
    Dugan, JB
    [J]. 11TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 2000, : 270 - 282
  • [10] Cowen C. P., 1994, Proceedings IEEE Workshop on FPGAs for Custom Computing Machines (Cat. No.94TH0611-4), P59, DOI 10.1109/FPGA.1994.315600