Explainability for Property Violations in Cyber-Physical Systems: An Immune-Inspired Approach
Journal article, 2024
Complex relations between cybernetic and physical components of a cyber-physical system (CPS) in tandem with continuous environment changes represent a challenge to engineering robust CPSs. To help engineers determine the cause of violations, there is a need for a systematic approach that helps understanding the system behaviors that lead to critical failures of the CPS. In this work, we present a methodology that identifies and isolates crucial anomalous behaviors that can not only hamper the system but also are often challenging to capture while engineering a CPS.
Sensor systems
Feature extraction
Fault diagnosis
Software algorithms
Sensors
Detectors
Cognition
Author
Joao Paulo Costa de Araujo
University of Brasilia
G. Nunes Rodrigues
University of Brasilia
Marc Carwehl
Humboldt University of Berlin
Thomas Vogel
Humboldt University of Berlin
Lars Grunske
Humboldt University of Berlin
Ricardo Diniz Caldas
University of Gothenburg
Patrizio Pelliccione
Software Engineering 1
Gran Sasso Science Institute (GSSI)
IEEE Software
0740-7459 (ISSN) 19374194 (eISSN)
Vol. 41 5 43-51Subject Categories
Software Engineering
Control Engineering
DOI
10.1109/MS.2024.3387289