Diagnosis with Dynamic MSC Languages - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

Diagnosis with Dynamic MSC Languages


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.


Fichier principal
Vignette du fichier
DynDiagAbstract.pdf (149.51 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00589415 , version 1 (02-05-2011)


  • HAL Id : inria-00589415 , version 1


Benedikt Bollig, Stefan Haar, Loïc Hélouët. Diagnosis with Dynamic MSC Languages. Workshop on distributed Open timed Systems, Aug 2010, Paris, France. ⟨inria-00589415⟩
181 View
22 Download


Gmail Facebook X LinkedIn More