Aerial

Aerial stands for "Almost Event-Rate Independent monitoring ALgorithm" and is a tool that checks compliance of streams of data with respect to policies specified in metric temporal logic (MTL) or metric dynamic logic (MDL).

Aerial's memory consumption is logarithmic in the number of events per time-unit (i.e., event rate), therefore it is almost event rate independent. This requirement is stronger than the traditionally used trace-length independence.

external page Source code is freely available under the GNU Lesser General Public License v3 or later.