RWTH Aachen University
Exploitation of Cyber-Physical Systems (CPSs) requires adaptive behavior in the presence of faults. Monitoring in embedded system software can have several uses, ranging from system characterization to Run-time Verification (RV). Traditional monitoring techniques require code instrumentation, imposing an overhead on system execution both in performance and timeliness. In real-time systems this is exacerbated by the need of new worst-case execution time estimation and schedulability analysis. In this paper, the authors discuss how monitoring can be exploited in real-time embedded operating systems, via non-intrusive mechanisms.