
Departmental Papers (CIS)
Date of this Version
10-2019
Document Type
Conference Paper
Recommended Citation
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.
Abstract
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.
Subject Area
CPS Formal Methods
Publication Source
The 19th International Conference on Runtime Verification (RV 2019)
Keywords
runtime verification, monitor deployment, overhead
Date Posted: 06 November 2019
This document has been peer reviewed.
Comments
The 19th International Conference on Runtime Verification (RV 2019), Porto, Portugal, 8-11 October 2019