Main content

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.

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

Pre-configured experimental environment (7Z, 4.5 GB) is also available as a virtual disk image.

Page URL:
Tue Jun 27 14:02:34 CEST 2017
© 2017 Eidgenössische Technische Hochschule Zürich