Departmental Papers (CIS)

Date of this Version


Document Type

Conference Paper


The 19th International Conference on Runtime Verification (RV 2019), Porto, Portugal, 8-11 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.

Subject Area

CPS Formal Methods

Publication Source

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.