We present MoonLight, a tool for monitoring temporal and spatio-temporal properties of mobile and spatially distributed cyber-physical systems (CPS). In the proposed framework, space is represented as a weighted graph, describing the topological configurations in which the single CPS entities (nodes of the graph) are arranged. Both nodes and edges have attributes modelling physical and logical quantities that can change in time. MoonLight is implemented in Java and supports the monitoring of Spatio-Temporal Reach and Escape Logic (STREL). MoonLight can be used as a standalone command line tool, as a Java API, or via Matlab interface. We provide here some examples using the Matlab interface and we evaluate the tool performance also by comparing with other tools specialized in monitoring only temporal properties.

翻译：我们介绍了月光,这是监测移动和空间分布的网络物理系统的时间和时空特性的工具。在拟议框架中,空间被作为加权图表,说明单个CPS实体(图的节点)排列的地形结构。节点和边缘都具有可改变时间的属性建模物理和逻辑数量。月光在爪哇实施,支持对Spatio-Temoral Conference and Escrap Locic(STREL)的监测。月光可以作为一种独立的指令行工具,作为爪哇API,或者通过Matlab界面使用。我们在此提供一些例子,使用Matlab界面,并通过比较专门监测时间特性的其他工具来评估工具的性能。