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 :
Theses
Complete list of metadatas

Cited literature [84 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01681432
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

File

GEOFFROY_2016_diffusion.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01681432, version 1

Citation

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⟩

Share

Metrics

Record views

27

Files downloads

7