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

David Basin, Srđan Krstić, Dmitriy Traytel


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 metric 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 memory efficiency is achieved by altering how Aerial outputs its monitoring verdicts.

Paper draft