Departmental Papers (CIS)

Date of this Version

9-2017

Document Type

Conference Paper

Comments

The 17th International Conference on Runtime Verification (RV 2017), Seattle, USA, September 13 - 16, 2017

Abstract

Run-time checking of timed properties requires to monitor events occurring within a specified time interval. In a distributed setting, working with intervals is complicated due to uncertainties about network delays and clock synchronization. Determining that an interval can be closed - i.e., that all events occurring within the interval have been observed - cannot be done without a delay. In this paper, we consider how an appropriate delay can be determined based on parameters of a monitoring setup, such as network delay, clock skew and clock rate. We then propose a generic scheme for monitoring time intervals, parameterized by the detection delay, and discuss the use of this monitoring scheme to check different timed specifications, including real-time temporal logics and rate calculations.

Subject Area

CPS Formal Methods

Publication Source

The 17th International Conference on Runtime Verification (RV 2017)

DOI

10.1007/978-3-319-67531-2_20

Copyright/Permission Statement

The final authenticated publication is available online at https://doi.org/10.1007/978-3-319-67531-2_20

Keywords

Runtime verification, Time interval monitoring, Real-time properties

Share

COinS
 

Date Posted: 25 June 2018

This document has been peer reviewed.