| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
A General Trace-Based Framework of Logical Causality
Abstract : In component-based safety-critical embedded systems it is crucial to determine the cause(s) of the violation of a safety property, be it to issue a precise alert, to steer the system into a safe state, or to determine liability of component providers. In this paper we present an approach to blame components based on a single execution trace violating a safety property P . The diagnosis relies on counterfactual reasoning ("what would have been the outcome if component C had behaved correctly?") to distinguish component failures that actually contributed to the outcome from failures that had little or no impact on the violation of P .
Cited literature [24 references]
https://hal.inria.fr/hal-00924048
Contributor : Gregor Gössler <>
Submitted on : Monday, January 6, 2014 - 11:24:30 AM
Last modification on : Tuesday, November 19, 2019 - 2:17:46 AM
Document(s) archivé(s) le : Thursday, April 10, 2014 - 4:25:52 PM
Contributor : Gregor Gössler <>
Submitted on : Monday, January 6, 2014 - 11:24:30 AM
Last modification on : Tuesday, November 19, 2019 - 2:17:46 AM
Document(s) archivé(s) le : Thursday, April 10, 2014 - 4:25:52 PM
File
facs2013.pdf
Files produced by the author(s)