Diagnosis with Dynamic MSC Languages

Abstract : In this work we study the diagnosis problem for dynamic MSCs, a scenario language describing interactions of arbitrary numbers of processes. The diagnosis problem consist in finding explanations for a partial observation of a running system out of a model. We first show that diagnosis can be brought back to decidability of an MSO formula, and is hence decidable for dynamic MSCs.
keyword : Diagnosis scenarios MSO
Type de document :
Communication dans un congrès
Workshop on distributed Open timed Systems, Aug 2010, Paris, France. 2010
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00589415
Contributeur : Loic Helouet <>
Soumis le : lundi 2 mai 2011 - 10:05:40
Dernière modification le : mercredi 16 mai 2018 - 11:23:02
Document(s) archivé(s) le : mercredi 3 août 2011 - 02:36:15

Fichier

DynDiagAbstract.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00589415, version 1

Citation

Benedikt Bollig, Stefan Haar, Loic Helouet. Diagnosis with Dynamic MSC Languages. Workshop on distributed Open timed Systems, Aug 2010, Paris, France. 2010. 〈inria-00589415〉

Partager

Métriques

Consultations de la notice

201

Téléchargements de fichiers

65