Download PDFOpen PDF in browserAERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties8 pages•Published: December 14, 2017AbstractWe 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.Keyphrases: event rate independence, metric dynamic logic, metric temporal logic, monitoring, trace rate independence In: Giles Reger and Klaus Havelund (editors). RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, vol 3, pages 29-36.
|