Zhang, TengWiegley, JohnLee, InsupSokolsky, Oleg2023-05-222023-05-222017-09-012018-06-21https://repository.upenn.edu/handle/20.500.14332/6916Run-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.The final authenticated publication is available online at https://doi.org/10.1007/978-3-319-67531-2_20CPS Formal MethodsRuntime verificationTime interval monitoringReal-time propertiesComputer EngineeringComputer SciencesPresentation