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.
Feature extraction
Cognition
Sensors
Software algorithms
Fault diagnosis
Sensor systems
Detectors
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
Chalmers, Computer Science and Engineering (Chalmers), Interaction Design and Software Engineering
University of Gothenburg
Patrizio Pelliccione
Chalmers, Computer Science and Engineering (Chalmers), Interaction Design and Software Engineering
University of Gothenburg
Gran Sasso Science Institute (GSSI)
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