MoonLight：一种用于监控时空属性的轻量级工具
计算机科学中的逻辑
2021-05-17 v1
摘要
我们提出 MoonLight，一种用于监控移动及空间分布式信息物理系统（CPS）的时序与时空属性的工具。在所提框架中，空间被表示为加权图，描述单个 CPS 实体（图的节点）所处的拓扑配置。节点与边均具有随时间变化的物理与逻辑量属性。MoonLight 以 Java 实现，支持对时空可达与逃逸逻辑（STREL）的监控。MoonLight 可用作独立的命令行工具、Java API 或通过 Matlab 接口使用。我们在此给出使用 Matlab 接口的若干示例，并通过与其他专用于仅监控时序属性的工具进行比较来评估该工具的性能。
引用
@article{arxiv.2104.14333,
title = {MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties},
author = {Ezio Bartocci and Luca Bortolussi and Michele Loreti and Laura Nenzi and Simone Silvetti},
journal= {arXiv preprint arXiv:2104.14333},
year = {2021}
}
备注
12 pages, 6 figures