Skip to Main content Skip to Navigation
Conference papers

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
Document type :
Conference papers
Complete list of metadata

Cited literature [9 references]  Display  Hide  Download

https://hal.inria.fr/inria-00589415
Contributor : Loic Helouet <>
Submitted on : Monday, May 2, 2011 - 10:05:40 AM
Last modification on : Tuesday, June 15, 2021 - 4:06:17 PM
Long-term archiving on: : Wednesday, August 3, 2011 - 2:36:15 AM

File

DynDiagAbstract.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00589415, version 1

Citation

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⟩

Share

Metrics

Record views

421

Files downloads

93