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

Cited literature [84 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01681432
Contributor : Abes Star <>
Submitted on : Friday, January 12, 2018 - 3:07:44 PM
Last modification on : Wednesday, May 8, 2019 - 1:31:06 AM
Long-term archiving on : Saturday, May 5, 2018 - 7:48:19 PM

File

GEOFFROY_2016_diffusion.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01681432, version 2

Collections

STAR | INRIA | UGA

Citation

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

Share

Metrics

Record views

197

Files downloads

100