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

2016 ◽  
Author(s):  
Marwan Ammar ◽  
Ghaith Bany Hamad ◽  
Otmane Ait Mohamed ◽  
Yvon Savaria
Keyword(s):  
Model Checking ◽  
Probabilistic Model ◽  
Fault Tree ◽  
Fault Tree Analysis ◽  
Probabilistic Model Checking ◽  
Critical Systems ◽  
Tree Analysis ◽  
Safety Critical ◽  
Safety Critical Systems

Dynamic Fault Tree Generation for Safety-Critical Systems Within a Systems Engineering Approach

2020 ◽  
Vol 14 (1) ◽  
pp. 1512-1522 ◽  
Author(s):  
Anis Baklouti ◽  
Nga Nguyen ◽  
Faida Mhenni ◽  
Jean-Yves Choley ◽  
Abdelfattah Mlika
Keyword(s):  
Systems Engineering ◽  
Fault Tree ◽  
Critical Systems ◽  
Safety Critical ◽  
Engineering Approach ◽  
Dynamic Fault Tree ◽  
Tree Generation ◽  
Safety Critical Systems

Fast Dynamic Fault Tree Analysis by Model Checking Techniques

2018 ◽  
Vol 14 (1) ◽  
pp. 370-379 ◽  
Author(s):  
Matthias Volk ◽  
Sebastian Junges ◽  
Joost-Pieter Katoen
Keyword(s):  
Model Checking ◽  
Fault Tree ◽  
Fault Tree Analysis ◽  
Tree Analysis ◽  
Dynamic Fault Tree ◽  
Fast Dynamic
Sign in / Sign up

Export Citation Format

Share Document