MoonLight: a lightweight tool for monitoring spatio-temporal properties
MoonLight: a lightweight tool for monitoring spatio-temporal properties
复制标题
MoonLight：用于监控时空属性的轻量级工具
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Simone Silvetti
中科院分区：
文献类型：
--
作者：
E. Bartocci;L. Bortolussi;M. Loreti;L. Nenzi;Simone Silvetti
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 the space is represented as a weighted graph describing the topological configuration in which the single entities are arranged. Both nodes and edges have attributes modeling physical quantities and logical states of the system evolving 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, such as Java API, or via Matlab ™ and 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 it with other tools specialized in monitoring only temporal properties and by monitoring spatio-temporal requirements considering different sizes of dynamical and spatial graphs.
DOI：
10.1007/978-3-642-28756-5_47
发表时间：
2012
期刊：
--
影响因子：
--
作者：
Basler G
通讯作者：
Basler G