Departmental Papers (CIS)

Date of this Version

10-2019

Document Type

Conference Paper

Comments

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

Share

COinS
 

Date Posted: 06 November 2019

This document has been peer reviewed.