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.
Sensors
Feature extraction
Cognition
Sensor systems
Detectors
Software algorithms
Fault diagnosis
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
Chalmers, Computer Science and Engineering (Chalmers), Interaction Design and Software Engineering
Patrizio Pelliccione
University of Gothenburg
Gran Sasso Science Institute (GSSI)
Chalmers, Computer Science and Engineering (Chalmers), Interaction Design and Software Engineering
IEEE Software
0740-7459 (ISSN) 19374194 (eISSN)
Vol. 41 5 43-51Subject Categories (SSIF 2011)
Software Engineering
Control Engineering
DOI
10.1109/MS.2024.3387289