The Dynamic Fault Tree Rare Event Simulator

被引：0
|
作者：
Budde, Carlos E. [1 ]
Ruijters, Enno [2 ]
Stoelinga, Mariëlle [1 ,3 ]
机构：
[1] Formal Methods and Tools, University of Twente, Enschede, Netherlands
[2] BetterBe, Enschede, Netherlands
[3] Department of Software Science, Radboud University, Nijmegen, Netherlands
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2020年 / 12289 LNCS卷
关键词：
Automata composition - Bi-simulation reductions - Calculation speed - Dependable systems - Dynamic fault trees - GALILEO - Lower probabilities - Model checker - Statistic modeling - User input;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
20
引用
收藏
页码：233 / 238
相关论文
共 50 条
  • [21] Fault tree linking versus event tree linking approaches: a reasoned comparison
    Nusbaumer, Olivier
    Rauzy, Antoine
    PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART O-JOURNAL OF RISK AND RELIABILITY, 2013, 227 (03) : 315 - 326
  • [22] Dynamic Fault Tree Models for FPGA Fault Tolerance and Reliability
    Elderhalli, Yassmeen
    El-Araby, Nahla
    Hasan, Osman
    Jantsch, Axel
    Tahar, Sofiene
    2021 IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI (ISVLSI 2021), 2021, : 194 - 199
  • [23] Apllication of event tree/fault tree modeling approach to the evaluation of proliferation resistance
    Coles, Garill A.
    Zentner, Michael D.
    PROCEEDINGS OF THE ASME INTERNATIONAL MECHANICAL ENGINEERING CONGRESS AND EXPOSITION 2007, VOL 14: SAFETY ENGINEERING, RISK ANALYSIS, AND RELIABILITY METHODS, 2008, : 139 - 147
  • [24] Combination of event tree analysis and fault tree analysis for system reliability analysis
    Jiang, Ronghan
    Hunan Daxue Xuebao/Journal of Hunan University Natural Sciences, 1995, 22 (01):
  • [25] Dynamic portfolio selection based on the event tree
    Brezina, Ivan
    Dolinajcova, Miroslava
    MANAGING AND MODELLING OF FINANCIAL RISKS - 6TH INTERNATIONAL SCIENTIFIC CONFERENCE PROCEEDINGS, PTS 1 AND 2, 2012, : 83 - 87
  • [26] A Novel Dynamic Fault Tree Analysis Method
    Li, Yan-Feng
    Huang, Hong-Zhong
    Liu, Yu
    Zhu, Shun-Peng
    Xiao, Ning-Cong
    PROCEEDINGS OF 2013 INTERNATIONAL CONFERENCE ON QUALITY, RELIABILITY, RISK, MAINTENANCE, AND SAFETY ENGINEERING (QR2MSE), VOLS I-IV, 2013, : 81 - 84
  • [27] Galileo: A tool for dynamic fault tree analysis
    Dugan, JB
    COMPUTER PERFORMANCE EVALUATION, PROCEEDINGS: MODELLING TECHNIQUES AND TOOLS, 2000, 1786 : 328 - 331
  • [28] Bayesian Network Modeling for Dynamic Fault Tree
    Yuge, Tetsushi
    Yanagi, Shigeru
    PROCEEDINGS 18TH ISSAT INTERNATIONAL CONFERENCE ON RELIABILITY & QUALITY IN DESIGN, 2012, : 111 - 115
  • [29] Dynamic Fault Tree Based on Weibull Distribution
    Guo, Weigang
    Han, Wei
    Liu, Shuyan
    ADVANCED DESIGN TECHNOLOGY, PTS 1-3, 2011, 308-310 : 1322 - 1327
  • [30] A review on the realization methods of dynamic fault tree
    Zhu, Chengyuan
    Zhang, Tianyuan
    QUALITY AND RELIABILITY ENGINEERING INTERNATIONAL, 2022, 38 (06) : 3233 - 3251
12345