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 条
  • [1] The Dynamic Fault Tree Rare Event Simulator
    Budde, Carlos E.
    Ruijters, Enno
    Stoelinga, Marielle
    [J]. QUANTITATIVE EVALUATION OF SYSTEMS (QEST 2020), 2020, 12289 : 233 - 238
  • [2] Rare event simulation for dynamic fault trees
    Ruijters, Enno
    Reijsbergen, Daniel
    de Boer, Pieter-Tjerk
    Stoelinga, Marielle
    [J]. RELIABILITY ENGINEERING & SYSTEM SAFETY, 2019, 186 : 220 - 231
  • [3] Rare Event Simulation for Dynamic Fault Trees
    Ruijters, Enno
    Reijsbergen, Daniel
    de Boer, Pieter-Tjerk
    Stoelinga, Marielle
    [J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2017, 2017, 10488 : 20 - 35
  • [4] Minimal cut sequences and top event probability of dynamic fault tree
    Yuge, Tetsushi
    Yoneda, Taijiro
    Tamura, Nobuyuki
    Yanagi, Shigeru
    [J]. JOURNAL OF QUALITY IN MAINTENANCE ENGINEERING, 2013, 19 (01) : 38 - +
  • [5] A dynamic fault tree
    Cepin, M
    Mavko, B
    [J]. RELIABILITY ENGINEERING & SYSTEM SAFETY, 2002, 75 (01) : 83 - 91
  • [6] Dynamic Event/Fault Tree Analysis of Multi-Agent Systems using Galileo
    Dehlinger, Josh
    Dugan, Joanne Bechta
    [J]. QSIC 2008: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2008, : 429 - 434
  • [7] Research on Time-Dependent Failure Modeling Method of Integrating Discrete Dynamic Event Tree With Fault Tree
    Xu, Anqi
    Zhang, Zhijian
    Zhang, Min
    Wang, He
    Zhang, Huazhi
    Chen, Sijuan
    [J]. FRONTIERS IN ENERGY RESEARCH, 2019, 7
  • [8] Construction of event-tree/fault-tree models from a Markov approach to dynamic system reliability
    Bucci, Paolo
    Kirschenbaum, Jason
    Mangan, L. Anthony
    Aldemir, Tunc
    Smith, Curtis
    Wood, Ted
    [J]. RELIABILITY ENGINEERING & SYSTEM SAFETY, 2008, 93 (11) : 1616 - 1627
  • [9] EVENT-DRIVEN INCREMENTAL TIMING FAULT SIMULATOR
    JOU, SJ
    CHIOU, SH
    TAO, YS
    SHEN, WZ
    [J]. IEE PROCEEDINGS-G CIRCUITS DEVICES AND SYSTEMS, 1993, 140 (01): : 45 - 54
  • [10] A NEW FAULT TREE ANALYSIS METHOD: FUZZY DYNAMIC FAULT TREE ANALYSIS
    Li, Yan-Feng
    Huang, Hong-Zhong
    Liu, Yu
    Xiao, Ningcong
    Li, Haiqing
    [J]. EKSPLOATACJA I NIEZAWODNOSC-MAINTENANCE AND RELIABILITY, 2012, 14 (03): : 208 - 214
12345