Date of this Version
Teng Zhang, Greg Eakman, Insup Lee, and Oleg Sokolsky, "Overhead-Aware Deployment of Runtime Monitors", The 19th International Conference on Runtime Verification (RV 2019) . October 2019.
One important issue needed to be handled when applying runtime verification is the time overhead introduced by online monitors. According to how monitors are deployed with the system to be monitored, the overhead may come from the execution of monitoring logic or asynchronous communication. In this paper, we present a method for deciding how to deploy runtime monitors with awareness of minimizing the overhead. We first propose a parametric model to estimate the overhead given the prior knowledge on the distribution of incoming events and the time cost of sending a message and executing monitoring logic. Then, we will discuss how to statically decide the boundary of synchronous and asynchronous monitors such that the lowest overhead can be obtained.
CPS Formal Methods
The 19th International Conference on Runtime Verification (RV 2019)
runtime verification, monitor deployment, overhead
Date Posted: 06 November 2019
This document has been peer reviewed.