The tool
MoonLight monitors temporal and spatio-temporal properties of mobile and spatially distributed cyber-physical systems (CPS).
Space is represented as a weighted graph: the CPS entities are its nodes, and both nodes and edges have attributes modelling physical and logical quantities that change over time. The tool supports the Spatio-Temporal Reach and Escape Logic (STREL).
How to use it
MoonLight is implemented in Java and can be used:
- as a standalone command line tool;
- as a Java API;
- through a Matlab™ interface.
The paper shows examples through the Matlab interface and evaluates performance, also comparing MoonLight with tools specialised in monitoring temporal properties only.
An extended version appeared in STTT in 2023.