Skip to Main content Skip to Navigation
Theses

A general trace-based causality analysis framework for component systems

Résumé : Dans des système concurrent, potentiellement embarqués et distribué, il est souvent crucial d'être capable de déterminer quel(s) composant(s) est(sont) responsable(s) d'une défaillance, que ce soit pour debbuger, établir une responsabilité contractuelle du fournisseur des composant, ou pour isolée, ou redémarrer les composants défaillants. Le diagnostic s'appuie sur l'analyse de la causalité logique pour distinguer les composants ayant contribué à la défaillance du système, de ceux ayant eu peu ou pas d'impact sur cette dernière. Plus précisément, un composant C est une cause nécessaire, si la propriété P du système n'aurait pas été violée si C s'était comporté selon sa spécification S. De même, C est une cause suffisante de la violation de P (défaillance du système) si P aurait été violée, même si tous les composants, sauf C, avait respecté leur spécification. Autrement dit, la violation de S, du composant C, est suffisante pour violer P. L'approche a été formalisée, initialement, pour des modèle d'interaction BIP. Le but de ce projet est de formaliser un raisonnement similaire pour des programmes fonctionnels, où les fonctions sont équipées d'invariant décrivant leur comportement attendu. L'analyse prendrait en entrée une trace d'exécution (défaillante) et les invariant, et déterminerait quelle(s) fonction(s) est(sont) une(des) cause(s) de la défaillance. L'approche devra être implémenté et appliquée à des cas d'études provenant du domaine médical, ou de l'automatique.
Document type :
Theses
Complete list of metadatas

Cited literature [84 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01681432
Contributor : Abes Star :  Contact
Submitted on : Friday, January 12, 2018 - 3:07:44 PM
Last modification on : Tuesday, May 19, 2020 - 7:49:07 AM
Document(s) archivé(s) le : 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

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

249

Files downloads

168