Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model

16 pages•Published: January 6, 2018

Abstract

The diagnosis model is certainly a key element for any model-based diagnosis process. Experience shows though that in practice we often have no such model available for one or the other reason, so that in many projects we cannot draw on diagnosis processes when tackling problems. In this paper, we thus show how to improve on available automated processes for deriving a diagnostic model from standard simulation models as usually created during development. We delve in particular into the question how research in the context of combinatorial testing and fault injection can help in this respect, and consider several questions that arise.

Keyphrases: abductive diagnosis, automated model generation, combinatorial testing, model based diagnosis

In: Marina Zanella, Ingo Pill and Alessandro Cimatti (editors). 28th International Workshop on Principles of Diagnosis (DX'17), vol 4, pages 248-263.

Links:	https://easychair.org/publications/paper/7t86
	https://doi.org/10.29007/svc7

BibTeX entry

@inproceedings{DX'17:Model_Based_Diagnosis_Meets,
  author    = {Ingo Pill and Franz Wotawa},
  title     = {Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model},
  booktitle = {28th International Workshop on Principles of Diagnosis (DX'17)},
  editor    = {Marina Zanella and Ingo Pill and Alessandro Cimatti},
  series    = {Kalpa Publications in Computing},
  volume    = {4},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/7t86},
  doi       = {10.29007/svc7},
  pages     = {248-263},
  year      = {2018}}

Download PDF Open PDF in browser