%0 Conference Proceedings
%T Techniques and Challenges for Trace Processing from a Model-Checking Perspective
%+ Lab-STICC_UBO_CACS_MOCS
%+ Lab-STICC_ENSTAB_CACS_MOCS
%A Ribaud, Vincent
%A Teodorov, Ciprian
%A Drey, Zoé
%A Leroux, Luka
%A Dhaussy, Philippe
%< avec comité de lecture
%B International Joint Conferences on Computer, Information, Systems Sciences, & Engineering - CISSE 2014
%C Bridgeport, United States
%3 Proceedings of the International Joint Conferences on Computer, Information, Systems Sciences, & Engineering
%8 2014-12-12
%D 2014
%K verification
%K diagnosis
%K execution trace
%K model-checking
%Z Computer Science [cs]
%Z Computer Science [cs]/Modeling and Simulation
%Z Computer Science [cs]/Software Engineering [cs.SE]Conference papers
%X 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.
%G English
%2 https://hal.science/hal-01119571/document
%2 https://hal.science/hal-01119571/file/Techniques%20and%20Challenges%20for%20Trace%20Processing%20from%20a%20Model-checking%20Perspective.pdf
%L hal-01119571
%U https://hal.science/hal-01119571
%~ UNIV-BREST
%~ INSTITUT-TELECOM
%~ ENSTA-BRETAGNE
%~ CNRS
%~ UNIV-UBS
%~ ENSTA-BRETAGNE-STIC
%~ LAB-STICC_UBO_CACS
%~ LAB-STICC_UBO
%~ ENIB
%~ LAB-STICC_ENIB
%~ LAB-STICC
%~ TDS-MACS
%~ IBNM
%~ INSTITUTS-TELECOM