@inproceedings{89909960ef434023aca90ba32877fb02,
title = "CatIO - A Framework for Model-Based Diagnosis of Cyber-Physical Systems",
abstract = "Diagnosing cyber-physical systems is often a challenge due to the complex interactions between its individual cyber and physical components. With CatIO (From {\textquoteleft}Causarum Cognitio{\textquoteright}, 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{\textquoteright}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.",
keywords = "Co-simulation, Cyber-physical system, Model-based diagnosis, Modelica",
author = "Edi Mu{\v s}kardin and Ingo Pill and Franz Wotawa",
year = "2020",
month = jan,
day = "1",
doi = "10.1007/978-3-030-59491-6_25",
language = "English",
isbn = "9783030594909",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "267--276",
editor = "Denis Helic and Martin Stettinger and Alexander Felfernig and Gerhard Leitner and Ras, {Zbigniew W.}",
booktitle = "Foundations of Intelligent Systems - 25th International Symposium, ISMIS 2020, Proceedings",
address = "Germany",
note = "25th International Symposium on Methodologies for Intelligent Systems, ISMIS 2020 ; Conference date: 23-09-2020 Through 25-09-2020",
}