Download PDFOpen PDF in browserModel-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model16 pages•Published: January 6, 2018AbstractThe 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.
|