|Title||Sacrificing a Little Space Can Significantly Improve Monitoring of Time-sensitive Cyber-physical Systems|
|Publication Type||Conference Paper|
|Year of Publication||2014|
|Authors||Medhat, R., D. Kumar, B. Bonakdarpour, and S. Fischmeister|
|Conference Name||ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)|
|Conference Location||Berlin, Germany|
The goal of runtime verification is to inspect the correctness of a system by incorporating a monitor during its execution. Predictability of time distribution of monitor invocations and memory usage are two indicators of the quality of a monitoring solution, specially in cyber-physical systems, where the physical environment is a part of the system dynamics. In our previous work, we proposed a control-theoretic approach for coordinating time predictability and memory utilization in runtime verification of time-sensitive systems. To this end, we designed controllers that attempt to improve time predictability, while ensuring the soundness of verification by incorporating a maximally utilized bounded memory buffer that accumulates events.
Sacrificing a Little Space Can Significantly Improve Monitoring of Time-sensitive Cyber-physical Systems