Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.
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) |
Pagination | 115--126 |
Publisher | IEEE |
Conference Location | Berlin, Germany |
Abstract | 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. |
DOI | 10.1109/ICCPS.2014.6843716 |
Refereed Designation | Refereed |