Back to overview

Aerial: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties

Type of publication Peer-reviewed
Publikationsform Proceedings (peer-reviewed)
Author Basin David, Krstić Srđan, Traytel Dmitriy,
Project Big Data Monitoring
Show all

Proceedings (peer-reviewed)

Editor , Havelund Klaus; , Reger Giles
Volume (Issue) 3
Title of proceedings RV-CuBES 2017
DOI 10.29007/bm4c

Open Access

Type of Open Access Website


We present Aerial, a tool for the online monitoring of metric regular properties. Aerial supports both the standard metric temporal logic (MTL) and the more expressive meric dynamic logic (MDL) as its property specification language. Unlike MTL, which is restricted to star-free properties, MDL can express all metric regular properties by generalizing MTL’s temporal operators to arbitrary regular expressions. Aerial’s distinguishing feature is its ability to monitor an event stream using memory logarithmic in the event rate. This space efficiency is achieved by altering how Aerial outputs its monitoring verdicts.