Towards a Unified Run-Time Monitoring Framework for Distributed Industrial Control Systems
Conference
Saramantas, IE, Raptis, GE, Khan, MT et al. (2025). Towards a Unified Run-Time Monitoring Framework for Distributed Industrial Control Systems
. 10.1109/ISC266238.2025.11293263
Saramantas, IE, Raptis, GE, Khan, MT et al. (2025). Towards a Unified Run-Time Monitoring Framework for Distributed Industrial Control Systems
. 10.1109/ISC266238.2025.11293263
This paper presents a unified run-time monitoring framework that integrates inline formal verification and sensorlevel anomaly detection for distributed UAV-based cyber-physical systems. Building on the ASM2S framework, we extend inline security monitoring to incorporate external false-data injection (FDI) alerts. We implement a lightweight interface through which the detector reports structured FDI alerts that the monitor parses at run-time. When an alert is raised, the monitor triggers semantically rich alarms and executes recovery actions (e.g., component isolation). Our approach enables embedding externally observable anomalies into formally verifiable runtime specifications. We use a UAV finite element model under uncertainty and demonstrate that the system can detect and respond to FDI events (e.g., bias, gain, and precision degradation faults). The proposed solution addresses the interoperability gap between physical-layer sensing and application-layer monitoring and enables context-aware run-time adaptation without external orchestration.
