Date of this Version
Teng Zhang, John Wiegley, Insup Lee, and Oleg Sokolsky, "Monitoring Time Intervals", The 17th International Conference on Runtime Verification (RV 2017) . September 2017. http://dx.doi.org/10.1007/978-3-319-67531-2_20
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.
CPS Formal Methods
The 17th International Conference on Runtime Verification (RV 2017)
The final authenticated publication is available online at https://doi.org/10.1007/978-3-319-67531-2_20
Runtime verification, Time interval monitoring, Real-time properties
Date Posted: 25 June 2018
This document has been peer reviewed.