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 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, the authors suggest a method to automatically derive FTs from counterexamples, including a mapping of the probability information onto the FT.