From Probabilistic Counterexamples via Causality to Fault Trees
From Probabilistic Counterexamples via Causality to Fault Trees
复制标题
从概率反例到因果关系到故障树
DOI：
10.1007/978-3-642-24270-0_6
复制
发表时间：
2011
影响因子：
--
通讯作者：
S. Leue
中科院分区：
文献类型：
--
作者：
M. Kuntz;Florian Leitner;S. Leue
近年来，人们提出了几种生成概率反例的方法。然而，随机反例的解释仍然是有问题的，因为它们必须被表示为路径集，而这个集中的路径数量可能非常大。故障树（FTs）是一种成熟的工业技术，用于表示由系统或系统组件故障引起的可能的系统危害的因果关系。在本文中，我们提出了一种从反例中自动导出FT的方法，包括概率信息到FT的映射。我们扩展了Pearl和Halpern的结构方程方法，该方法基于Lewis反事实，因此它可以作为我们提出的FT推导规则所隐含的因果关系的证明。我们通过将我们的方法应用于一个工业案例研究来证明它的有效性。
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.
影响因子：
7.4
作者：
Aljazzar, Husain;Leue, Stefan
通讯作者：
Leue, Stefan
使用概率 FMEA 和概率反例对安全气囊系统进行安全分析
DOI：
10.1109/qest.2009.8
发表时间：
2009
期刊：
2009 Sixth International Conference on the Quantitative Evaluation of Systems
影响因子：
--
作者：
Husain Aljazzar;Manuel Fischer;Lars Grunske;Matthias Kuntz;Florian Leitner-Fischer;Stefan Leue
通讯作者：
Stefan Leue