[Back]

L. Nenzi, E. Bartocci, L. Bortolussi, S. Silvetti, M. Loreti:
"MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties";
accepted for publication in International Journal on Software Tools for Technology Transfer.

We present MoonLight, a tool for monitoring temporal and spatio-temporal properties of mobile, spatially distributed, and interacting entities such as biological and cyber-physical systems. In MoonLight, space is represented as a weighted graph, describing the topological configuration in which the single entities are arranged.
Both nodes and edges have attributes modelling physical quantities and logical states of the system evolving in time.
\textscMoonLight is implemented in Java and supports the monitoring of Spatio-Temporal Reach and Escape Logic (STREL) introduced in [Bartocci17memocode].
MoonLight can be used as a standalone command line tool, as a Java API, or via \textsc{Matlab} \texttrademark\enskip and \textsc{Python} interfaces.
We provide here the description of the tool, its interfaces,
and its scripting language using a sensor network and a bike sharing example. We evaluate the tool performances both by comparing with other tools specialized in monitoring only temporal properties and by monitoring spatio-temporal requirements considering different sizes of dynamical and spatial graphs.