Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Techniques and Challenges for Trace Processing from a Model-Checking Perspective

Vincent Ribaud 1 Ciprian Teodorov 2 Zoé Drey 2 Luka Leroux 2 Philippe Dhaussy 2
1 Lab-STICC_UBO_CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance, UBO - Université de Brest
2 Lab-STICC_ENSTAB_CACS_MOCS ; IDM
STIC - Pôle STIC [Brest], Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Abstract : Despite the high-level of automation offered by model-checking techniques for proving that a system satisfies its specification, if one property is violated the designer is left with a counterexample trace to understand. In this paper, we overview ten families of techniques used to diagnose a system relying on traces. However, whereas these techniques are highly effective and are largely used, they are either not yet available in the context of model-checking or they are not adapted to the particularities of this verification technique. To address this, we have identified three very challenging problems hindering the concurrent systems diagnosis process. Through this analysis we have defined a roadmap for future research directions in our team.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

Littérature citée [59 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01119571
Contributeur : Annick Billon-Coat <>
Soumis le : lundi 13 février 2017 - 13:34:18
Dernière modification le : vendredi 7 août 2020 - 15:56:05
Archivage à long terme le : : dimanche 14 mai 2017 - 13:53:26

Fichier

Techniques and Challenges for ...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01119571, version 1

Citation

Vincent Ribaud, Ciprian Teodorov, Zoé Drey, Luka Leroux, Philippe Dhaussy. Techniques and Challenges for Trace Processing from a Model-Checking Perspective. International Joint Conferences on Computer, Information, Systems Sciences, & Engineering - CISSE 2014, University of Bridgeport, Dec 2014, Bridgeport, United States. ⟨hal-01119571⟩

Partager

Métriques

Consultations de la notice

657

Téléchargements de fichiers

311