From probabilistic counterexamples via causality to fault trees

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