Using LNT Formal Descriptions for Model-Based Diagnosis

Abstract : Providing models for model-based diagnosis has always been a challenging task. There has never been an agreement on an underlying modeling language, making it almost impossible to share models within our community. In addition, there are other domains like formal methods or model-based testing relying on system models for formal verification and automated test case generation. Although, there we face the situation of different modeling languages as well, the question remains whether it is possible to re-use these models in the context of model-based diagnosis. In this paper , we elaborate on this question and show how models written in LNT can be used for fault local-ization only requiring simple modification. This allows re-using formal method's models for diagnosis directly. Besides discussing the underlying principles, we also present a use case showing the applicability of the methods.
Document type :
Conference papers
DX 2018 - 29th International Workshop on Principles of Diagnosis, Aug 2018, Warsaw, Poland. pp.1-8, 〈https://dx18.sciencesconf.org/〉
Liste complète des métadonnées

Cited literature [6 references]  Display  Hide  Download

https://hal.inria.fr/hal-01877693
Contributor : Radu Mateescu <>
Submitted on : Thursday, September 20, 2018 - 11:23:06 AM
Last modification on : Thursday, October 11, 2018 - 8:48:04 AM

File

diag_with_fm.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01877693, version 1

Collections

Citation

Birgit Hofer, Radu Mateescu, Wendelin Serwe, Franz Wotawa. Using LNT Formal Descriptions for Model-Based Diagnosis. DX 2018 - 29th International Workshop on Principles of Diagnosis, Aug 2018, Warsaw, Poland. pp.1-8, 〈https://dx18.sciencesconf.org/〉. 〈hal-01877693〉

Share

Metrics

Record views

38

Files downloads

15