Un cadre général de causalité basé sur les traces pour des systèmes à composants

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 <>
Submitted on : Thursday, January 11, 2018 - 4:32:06 PM
Last modification on : Saturday, January 13, 2018 - 1:16:24 AM
Long-term archiving on: Thursday, May 3, 2018 - 4:41:34 PM


Files produced by the author(s)


  • HAL Id : tel-01681432, version 1


Yoann Geoffroy. Un cadre général de causalité basé sur les traces pour des systèmes à composants. Multimédia [cs.MM]. Université Grenoble Alpes, 2016. Français. ⟨NNT : 2016GREAM074⟩. ⟨tel-01681432v1⟩



Record views


Files downloads