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.
Sensors
Feature extraction
Cognition
Sensor systems
Detectors
Software algorithms
Fault diagnosis
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
Chalmers, Data- och informationsteknik, Interaktionsdesign och Software Engineering
Patrizio Pelliccione
Göteborgs universitet
Gran Sasso Science Institute (GSSI)
Chalmers, Data- och informationsteknik, Interaktionsdesign och Software Engineering
IEEE Software
0740-7459 (ISSN) 19374194 (eISSN)
Vol. 41 5 43-51Ämneskategorier (SSIF 2011)
Programvaruteknik
Reglerteknik
DOI
10.1109/MS.2024.3387289