Skip to Main content Skip to Navigation

A general trace-based causality analysis framework for component systems

Abstract : In a concurrent, possibly embedded and distributed system, it is often crucial to be able to determine which component(s) caused an observed failure - be it for debugging, to establish the contractual liability of component providers, or to isolate or reset the failing component. The diagnostic relies on analysis of logical causality to distinguish component failures that actually contributed to the outcome from failures that had little or no impact on the system-level failure . More precisely, necessary causality of a component C characterizes cases when a system-level property P would not have been violated if the specification S of C had been fulfilled. Sufficient causality characterizes cases where P would have been violated even if all the components but C had fulfilled their specifications. In other words, the violation of S by C was sufficient to violate P. The initial approach to causality analysis on execution traces was formalized for the BIP interaction model. The goal of this project is to formalize a similar reasoning for functional programs where functions are equipped with invariants describing the expected behavior. The analysis should take a (faulty) execution trace and the invariants and determine which function(s) caused the failure. The results should be implemented and applied to case studies from the medical and automotive domains.
Document type :
Complete list of metadatas

Cited literature [84 references]  Display  Hide  Download
Contributor : Abes Star :  Contact
Submitted on : Friday, January 12, 2018 - 3:07:44 PM
Last modification on : Tuesday, October 20, 2020 - 11:33:58 AM
Long-term archiving on: : Saturday, May 5, 2018 - 7:48:19 PM


Version validated by the jury (STAR)


  • HAL Id : tel-01681432, version 2



Yoann Geoffroy. A general trace-based causality analysis framework for component systems. Multimedia [cs.MM]. Université Grenoble Alpes, 2016. English. ⟨NNT : 2016GREAM074⟩. ⟨tel-01681432v2⟩



Record views


Files downloads