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

Edi Muškardin*, Ingo Pill, Franz Wotawa

*Korrespondierende/r Autor/-in für diese Arbeit

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

Abstract

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.

Originalspracheenglisch
TitelFoundations of Intelligent Systems - 25th International Symposium, ISMIS 2020, Proceedings
Redakteure/-innenDenis Helic, Martin Stettinger, Alexander Felfernig, Gerhard Leitner, Zbigniew W. Ras
Herausgeber (Verlag)Springer Science and Business Media Deutschland GmbH
Seiten267-276
Seitenumfang10
ISBN (Print)9783030594909
DOIs
PublikationsstatusVeröffentlicht - 1 Jan. 2020
Veranstaltung25th International Symposium on Methodologies for Intelligent Systems - TU Graz, Virtuell, Österreich
Dauer: 23 Sept. 202025 Sept. 2020

Publikationsreihe

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

Konferenz

Konferenz25th International Symposium on Methodologies for Intelligent Systems
KurztitelISMIS 2020
Land/GebietÖsterreich
OrtVirtuell
Zeitraum23/09/2025/09/20

ASJC Scopus subject areas

  • Theoretische Informatik
  • Informatik (insg.)

Fingerprint

Untersuchen Sie die Forschungsthemen von „CatIO - A Framework for Model-Based Diagnosis of Cyber-Physical Systems“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren