On the Verification of Diagnosis Models

Franz Wotawa*, Oliver Tazl

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review


Enhancing systems with advanced diagnostic capabilities for detecting,
locating, and compensating faults during operation increases autonomy and
reliability. To assure that the diagnosis-enhanced system really has improved
reliability, we need – besides other means – to check the correctness of the
diagnosis functionality. In this paper, we contribute to this challenge and
discuss the application of testing to the case of model-based diagnosis, where
we focus on testing the system models used for fault detection and local-
ization. We present a simple use case and provide a step-by-step discussion
on introducing testing, its capabilities, and arising issues. We come up with
several challenges that we should tackle in future research.
Original languageEnglish
Title of host publicationIndustrial Artificial Intelligence Technologies and Applications
EditorsOvidiu Vermesan, Franz Wotawa, Mario Diaz Nava, Björn Devaille
Place of PublicationGistrup
PublisherRiver Publishers
ISBN (Electronic)978-87-7022-790-2
ISBN (Print)978-87-7022-791-9
Publication statusPublished - 2022

Publication series

NameRiver Publishers Series in Communications

Fields of Expertise

  • Information, Communication & Computing


Dive into the research topics of 'On the Verification of Diagnosis Models'. Together they form a unique fingerprint.

Cite this