• Home
  • Search
  • From Probabilistic Counterexamples via Causality to Fault Trees
  • Open Access IconOpen Access
  • Cite Icon46
  • https://doi.org/10.1007/978-3-642-24270-0_6Copy DOI Icon

From Probabilistic Counterexamples via Causality to Fault Trees

  • Jan 1, 2011
  • Matthias Kuntz +2 more
Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

In recent years, several approaches to generate probabilistic counterexamples have been proposed. The interpretation of stochastic counterexamples, however, continues to be problematic since they have to be represented as sets of paths, and the number of paths in this set may be very large. Fault trees (FTs) are a well-established industrial technique to represent causalities for possible system hazards resulting from system or system component failures. In this paper we suggest a method to automatically derive FTs from counterexamples, including a mapping of the probability information onto the FT. We extend the structural equation approach by Pearl and Halpern, which is based on Lewis counterfactuals, so that it serves as a justification for the causality that our proposed FT derivation rules imply. We demonstrate the usefulness of our approach by applying it to an industrial case study.KeywordsModel CheckActual WorldCausal ProcessBasic EventFault TreeThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Similar Papers
  • Research Article

Rapidly Analyze the Fault Tree with Numerical Methods

  • Jul 01, 2014
  • Applied Mechanics and Materials
  • Bing Wu +2
  • Research Article
  • Citations9

Risk Analysis of Single- and Dual-String Gas-Lift Completions

  • Nov 01, 1990
  • Journal of Petroleum Technology
  • David D Grassick +3
  • PDF
  • Research Article
  • Citations14

Sand casting safety assessment for foundry enterprises: fault tree analysis, Heinrich accident triangle, HAZOP-LOPA, bow tie model.

  • Oct 01, 2018
  • Royal Society Open Science
  • Qingwei Xu +4
  • Dissertation

Detecting Component Failures and Critical Components in Safety Critical Embedded Systems using Fault Tree Analysis

  • May 01, 2018
  • Abhinav Bhandaram
  • Conference Article
  • Citations1

Integrating Fault Tree Analysis with System Theoretic Process Analysis

  • Jan 23, 2023
  • John E Weglian +2
  • Research Article
  • Citations202

Uncertainty in fault tree analysis: A fuzzy approach

  • Oct 01, 1996
  • Fuzzy Sets and Systems
  • P.V Suresh +2
  • Research Article
  • Citations15

Computer-aided fault tree synthesis II. Fault tree construction

  • Jan 01, 1991
  • Reliability Engineering & System Safety
  • Andre Bossche
  • Research Article
  • Citations7

Computer-aided fault tree synthesis III: Real-time fault location

  • Jan 01, 1991
  • Reliability Engineering & System Safety
  • Andre Bossche
  • Book Chapter
  • Citations2

Data-Driven Inference of Fault Tree Models Exploiting Symmetry and Modularization

  • Jan 01, 2022
  • Lisandro Arturo Jimenez-Roa +2
  • Conference Article

Applications of fault tree analysis to the design process

  • Jan 01, 1988
  • AIP conference proceedings
  • R W Youngblood
  • Research Article
  • Citations21

Investigation of extremely severe traffic crashes using fault tree analysis

  • Oct 27, 2018
  • Transportation Letters
  • Chengcheng Xu +3
  • Conference Article
  • Citations1

Reliability Analysis of Carbon Capture and Storage Systems

  • Jan 24, 2022
  • Bayan Hamdan +1
  • Research Article

On an approach to the integration of artificial intelligence into the fault tree analysis methodology

  • Feb 09, 2026
  • Journal of Mechanical Engineering and Transport
  • Oleh Borysovych Anipko +2
  • Research Article
  • Citations42

Dynamic reliability analysis framework using fault tree and dynamic Bayesian network: A case study of NPP

  • Oct 01, 2021
  • Nuclear Engineering and Technology
  • Mohan Rao Mamdikar +2
  • Research Article
  • Citations2

Sterilizer Reliability Analysis Using Reliability Block Diagram Based on Failure Identification Through Fault Tree Analysis

  • Oct 31, 2021
  • International Journal of Engineering, Science and Information Technology
  • Syamsul Bahri +4
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.