Techniques and Challenges for Trace Processing from a Model-Checking Perspective - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

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

Vincent Ribaud
Ciprian Teodorov

Résumé

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.
Fichier principal
Vignette du fichier
Techniques and Challenges for Trace Processing from a Model-checking Perspective.pdf (444.63 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01119571 , version 1 (13-02-2017)

Identifiants

  • HAL Id : hal-01119571 , version 1

Citer

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⟩
382 Consultations
167 Téléchargements

Partager

Gmail Facebook X LinkedIn More