Skip to Main content Skip to Navigation
New interface
Conference papers

Diagnosis with Dynamic MSC Languages

Benedikt Bollig 1 Stefan Haar 1 Loïc Hélouët 2 
2 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
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
Document type :
Conference papers
Complete list of metadata

Cited literature [9 references]  Display  Hide  Download
Contributor : Loic Helouet Connect in order to contact the contributor
Submitted on : Monday, May 2, 2011 - 10:05:40 AM
Last modification on : Friday, February 4, 2022 - 3:24:35 AM
Long-term archiving on: : Wednesday, August 3, 2011 - 2:36:15 AM


Files produced by the author(s)


  • 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⟩



Record views


Files downloads