Online Monitoring of Real-Time Systems with Parametric Communication Delays

This paper presents a symbolic, zone-based online monitoring algorithm that can handle unknown communication delays between the monitored system and the monitor, where the delay consists of a constant latency and a bounded jitter.