Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools

DOI10.1016/j.cosrev.2015.03.001zbMath1315.90013OpenAlexW2121337044WikidataQ56096267 ScholiaQ56096267MaRDI QIDQ2352775

Enno Ruijters, Mariëlle I. A. Stoelinga

Publication date: 6 July 2015

Published in: Computer Science Review (Search for Journal in Brave)

Full work available at URL: https://research.utwente.nl/en/publications/fault-tree-analysis(0f356f05-e72f-4301-8211-b36f97c8854a).html

zbMATH Keywords

reliabilityrisk analysisgraphical modelsdynamic fault treesfault treesdependability evaluation

Mathematics Subject Classification ID

Reliability, availability, maintenance, inspection in operations research (90B25) Research exposition (monographs, survey articles) pertaining to operations research and mathematical programming (90-02)

Related Items (10)

Assessing security of cryptocurrencies with attack-defense trees: proof of concept and future directions ⋮ The marriage between safety and cybersecurity: still practicing ⋮ Attack trees vs. fault trees: two sides of the same coin from different currencies ⋮ Fault trees on a diet: automated reduction by graph rewriting ⋮ Adaptive Importance Sampling Based on Fault Tree Analysis for Piecewise Deterministic Markov Process ⋮ \textsf{PFL}: a probabilistic logic for fault trees ⋮ Sampling-Based Verification of CTMCs with Uncertain Rates ⋮ From Iteration to System Failure: Characterizing the FITness of Periodic Weakly-Hard Systems ⋮ Epistemic space of degradation processes ⋮ Parametric Analyses of Attack-fault Trees*

Uses Software

• PRISM
• FuzzyFTA
• DIFtree
• MetaPrime
• Radyban
• DFTSim
• DFTCalc
• BlockSim
• OpenFTA
• PTC Windchill FTA
• ITEM ToolKit
• FaultTree+
• RAM Commander FTA
• DBNet
• MOCUS
• PREP/KITT

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• DAG-based attack and defense modeling: don't miss the forest for the attack trees
• Interactive Markov chains. And the quest for quantified quality
• A calculus of durations
• The concept of a linguistic variable and its application to approximate reasoning. I
• Multilevel fault tree analysis using fuzzy numbers
• Fuzzy importance in fault tree analysis
• A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains
• On the s-Importance of Elements and Prime Implicants of Non-Coherent Systems
• Fault Tree Analysis, Methods, and Applications ߝ A Review
• Fault-Tree Analysis by Fuzzy Probability
• Uncertainty Analysis of Fault-Tree Outputs
• Evaluation of Large Fault-Trees with Repeated Events Using an Efficient Bottom-Up Algorithm
• Dynamic fault-tree models for fault-tolerant computer systems
• Binary Decision Diagrams
• Joint reliability-importance of two edges in an undirected network
• Improving the variable ordering of OBDDs is NP-complete
• On the polynomial form of Boolean functions: derivations and applications

This page was built for publication: Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools