Explainability for Property Violations in Cyber-Physical Systems: An Immune-Inspired Approach
Artikel i vetenskaplig tidskrift, 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
Författare
Joao Paulo Costa de Araujo
Universidade de Brasilia
G. Nunes Rodrigues
Universidade de Brasilia
Marc Carwehl
Humboldt-Universität zu Berlin
Thomas Vogel
Humboldt-Universität zu Berlin
Lars Grunske
Humboldt-Universität zu Berlin
Ricardo Diniz Caldas
Göteborgs universitet
Patrizio Pelliccione
Software Engineering 1
Gran Sasso Science Institute (GSSI)
IEEE Software
0740-7459 (ISSN) 19374194 (eISSN)
Vol. 41 5 43-51Ämneskategorier
Programvaruteknik
Reglerteknik
DOI
10.1109/MS.2024.3387289