Combining Real-Time Model-Checking and Fault Tree Analysis

FME 2003: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45236-2_29 ◽

2003 ◽

pp. 522-541 ◽

Author(s):

Andreas Schäfer

Keyword(s):

Model Checking ◽

Real Time ◽

Fault Tree Analysis ◽

Download Full-text

Fast Dynamic Fault Tree Analysis by Model Checking Techniques

IEEE Transactions on Industrial Informatics ◽

10.1109/tii.2017.2710316 ◽

2018 ◽

Vol 14 (1) ◽

pp. 370-379 ◽

Author(s):

Matthias Volk ◽

Sebastian Junges ◽

Joost-Pieter Katoen

Keyword(s):

Model Checking ◽

Fault Tree Analysis ◽

Tree Analysis ◽

Dynamic Fault Tree ◽

Download Full-text

Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System

Dependable Computing EDCC-4 - Lecture Notes in Computer Science ◽

10.1007/3-540-36080-8_3 ◽

2002 ◽

pp. 19-31 ◽

Author(s):

Pierre Bieber ◽

Charles Castel ◽

Christel Seguin

Keyword(s):

Complex System ◽

Model Checking ◽

Safety Assessment ◽

Fault Tree Analysis ◽

Download Full-text

Fault Tree Analysis And Risk Mitigation Strategies For Autonomous Systems Via Statistical Model Checking

10.1109/icas49788.2021.9551199 ◽

2021 ◽

Author(s):

Ashkan Samadi ◽

Marwan Ammar ◽

Otmane Ait Mohamed

Keyword(s):

Model Checking ◽

Statistical Model ◽

Risk Mitigation ◽

Autonomous Systems ◽

Fault Tree Analysis ◽

Mitigation Strategies ◽

Statistical Model Checking ◽

Tree Analysis ◽

Risk Mitigation Strategies

Download Full-text

Qualitative Fault Tree Analysis of Blowout Preventer Control System for Real Time Availability Monitoring

10.4043/27814-ms ◽

2017 ◽

Author(s):

Mete Mutlu ◽

Zev Arnold ◽

Matthew A. Franchek ◽

Jose Meraz

Keyword(s):

Control System ◽

Real Time ◽

Fault Tree Analysis ◽

Tree Analysis ◽

Blowout Preventer ◽

Time Availability

Download Full-text

Fuzzy fault tree analysis as a mechanism for technical support to small/medium electroplaters on a quasi online/real-time basis

IEEE International Conference on Industrial Technology, 2003 ◽

10.1109/icit.2003.1290228 ◽

2004 ◽

Author(s):

A. Batzias ◽

F. Batzias

Keyword(s):

Real Time ◽

Fault Tree Analysis ◽

Technical Support ◽

Tree Analysis ◽

Fuzzy Fault Tree Analysis ◽

Download Full-text

FROM FAULT TREE ANALYSIS TO MODEL CHECKING OF LOGIC CONTROLLERS

IFAC Proceedings Volumes ◽

10.3182/20050703-6-cz-1902.01439 ◽

2005 ◽

Vol 38 (1) ◽

pp. 86-91 ◽

Author(s):

Israel BARRAGAN SANTIAGO ◽

Jean-Marc FAURE

Keyword(s):

Model Checking ◽

Fault Tree Analysis ◽

Tree Analysis ◽

Logic Controllers

Download Full-text

Fault tree analysis method based on probabilistic model checking and discrete time Markov Chain

Journal of Industrial and Production Engineering ◽

10.1080/21681015.2019.1645050 ◽

2019 ◽

Vol 36 (3) ◽

pp. 146-153

Author(s):

Ying-Kui Gu ◽

Jun Zhang ◽

Yan-Jun Shen ◽

Chao-Jun Fan

Keyword(s):

Markov Chain ◽

Model Checking ◽

Discrete Time ◽

Probabilistic Model ◽

Fault Tree Analysis ◽

Probabilistic Model Checking ◽

Analysis Method ◽

Discrete Time Markov Chain ◽

Download Full-text

A novel Real-Time Continuous Fuzzy Fault Tree Analysis (RC-FFTA) model for dynamic environment

Ocean Engineering ◽

10.1016/j.oceaneng.2016.09.035 ◽

2016 ◽

Vol 127 ◽

pp. 70-81 ◽

Author(s):

Yunus Emre Senol ◽

Bekir Sahin

Keyword(s):

Real Time ◽

Dynamic Environment ◽

Fault Tree Analysis ◽

Tree Analysis ◽

Fuzzy Fault Tree Analysis

Download Full-text

Efficient probabilistic fault tree analysis of safety critical systems via probabilistic model checking

2016 Forum on Specification and Design Languages (FDL) ◽

10.1109/fdl.2016.7880373 ◽

2016 ◽

Author(s):

Marwan Ammar ◽

Ghaith Bany Hamad ◽

Otmane Ait Mohamed ◽

Yvon Savaria

Keyword(s):

Model Checking ◽

Probabilistic Model ◽

Fault Tree Analysis ◽

Probabilistic Model Checking ◽

Critical Systems ◽

Tree Analysis ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

A Novel Framework for Real-Time Fault Diagnosis Based on Dynamic Fault Tree Analysis

Research Journal of Applied Sciences Engineering and Technology ◽

10.19026/rjaset.5.4744 ◽

2013 ◽

Vol 11 (9) ◽

pp. 2012-2018

Author(s):

Rongxing Duan ◽

Xiudong Ou

Keyword(s):

Fault Diagnosis ◽

Real Time ◽

Fault Tree Analysis ◽

Tree Analysis ◽

Dynamic Fault Tree

Download Full-text