CatIO - A Framework for Model-Based Diagnosis of Cyber-Physical Systems

Edi Muškardin*, Ingo Pill, Franz Wotawa

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review


Diagnosing cyber-physical systems is often a challenge due to the complex interactions between its individual cyber and physical components. With CatIO (From ‘Causarum Cognitio’, Latin for “(seek) knowledge of causes”), we propose a framework that supports a designer in developing corresponding diagnostic solutions that utilize either abductive or consistency-based diagnosis for detecting and localizing faults at runtime. Employing an interface to tools of the modeling language Modelica, a designer is able to simulate a cyber-physical system’s detailed behavior, and based on the observed data she can then assesses the diagnostic solution(s) under development and explore the trade-offs of individual solutions. For the abductive reasoning variant, CatIO supports also in coming up with the required abductive diagnosis model via an automated concept based on fault injection and the simulation of corresonding Modelica models.

Original languageEnglish
Title of host publicationFoundations of Intelligent Systems - 25th International Symposium, ISMIS 2020, Proceedings
EditorsDenis Helic, Martin Stettinger, Alexander Felfernig, Gerhard Leitner, Zbigniew W. Ras
PublisherSpringer Science and Business Media Deutschland GmbH
Number of pages10
ISBN (Print)9783030594909
Publication statusPublished - 1 Jan 2020
Event25th International Symposium on Methodologies for Intelligent Systems - TU Graz, Virtuell, Austria
Duration: 23 Sept 202025 Sept 2020

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12117 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference25th International Symposium on Methodologies for Intelligent Systems
Abbreviated titleISMIS 2020


  • Co-simulation
  • Cyber-physical system
  • Model-based diagnosis
  • Modelica

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'CatIO - A Framework for Model-Based Diagnosis of Cyber-Physical Systems'. Together they form a unique fingerprint.

Cite this