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 条
  • [31] A Method of Quantitative Analysis for Dynamic Fault Tree
    Zhang, Hong-Lin
    Zhang, Chun-Yuan
    Liu, Dong
    Li, Rui
    ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM (RAMS), 2011 PROCEEDINGS, 2011,
  • [32] Dynamic reliability assessment of a complex recovery system using fault tree, fuzzy inference and discrete event simulation
    Nobakhti, Abolghasem
    Raissi, Sadigh
    Damghani, Kaveh Khalili
    Soltani, Roya
    EKSPLOATACJA I NIEZAWODNOSC-MAINTENANCE AND RELIABILITY, 2021, 23 (04): : 593 - 604
  • [33] DrSEUs: A Dynamic Robust Single-Event Upset Simulator
    Carlisle, Edward
    Wulf, Nicholas
    MacKinnon, James
    George, Alan
    2016 IEEE AEROSPACE CONFERENCE, 2016,
  • [34] Cellular Dynamic Simulator: an event driven molecular simulation environment
    Michael J Byrne
    M Neal Waxham
    Yoshihisa Kubota
    BMC Neuroscience, 9 (Suppl 1)
  • [35] Efficient basic event ordering schemes for fault tree analysis
    Bartlett, L.M.
    Andrews, J.D.
    Quality and Reliability Engineering International, 15 (02): : 95 - 101
  • [36] Accident sequence analysis of fault tree with event sequence dependency
    Kohda, T
    Cui, W
    Inoue, K
    PROBABILISTIC SAFETY ASSESSMENT AND MANAGEMENT, VOL 1- 6, 2004, : 2888 - 2893
  • [37] On computing the probability of top event in multistate system fault tree
    Zeng, L
    Xia, SP
    Xie, HW
    Guo, X
    FIFTH INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND MANAGMENT SCIENCE: PROCEEDINGS OF IE & MS '98, 1998, : 543 - 547
  • [38] Generation of candidates' tree for the fault diagnosis of discrete event systems
    Philippot, Alexandre
    Sayed-Mouchaweh, Moamar
    Carre-Menetrier, Veronique
    Riera, Bernard
    CONTROL ENGINEERING PRACTICE, 2011, 19 (09) : 1002 - 1013
  • [39] A Reliability Risk Analysis Method Based on the Fuzzy Fault Tree and Fuzzy Event Tree
    Quan, Cai
    Lingqiang, Liang
    Dongping, Yu
    Gu, Yingkui
    PROCEEDINGS OF 2016 11TH INTERNATIONAL CONFERENCE ON RELIABILITY, MAINTAINABILITY AND SAFETY (ICRMS'2016): INTEGRATING BIG DATA, IMPROVING RELIABILITY & SERVING PERSONALIZATION, 2016,
  • [40] Efficient basic event ordering schemes for fault tree analysis
    Bartlett, LM
    Andrews, JD
    QUALITY AND RELIABILITY ENGINEERING INTERNATIONAL, 1999, 15 (02) : 95 - 101
12345