MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties

04/29/2021
by   Ezio Bartocci, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

05/24/2021

A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems

Cyber-Physical Systems (CPS) consist of inter-wined computational (cyber...
11/22/2020

Spatio-Temporal Visualization of Interdependent Battery Bus Transit and Power Distribution Systems

The high penetration of transportation electrification and its associate...
09/16/2021

Online Monitoring of Spatio-Temporal Properties for Imprecise Signals

From biological systems to cyber-physical systems, monitoring the behavi...
06/16/2021

Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems

The Internet-of-Things, complex sensor networks, multi-agent cyber-physi...
01/23/2019

A Tool for Spatio-Temporal Analysis of Social Anxiety with Twitter Data

In this paper, we present a tool for analyzing spatio-temporal distribut...
03/31/2022

Separable spatio-temporal kriging for fast virtual sensing

Environmental monitoring is a task that requires to surrogate system-wid...
07/20/2021

Mono2Micro: A Practical and Effective Tool for Decomposing Monolithic Java Applications to Microservices

In migrating production workloads to cloud, enterprises often face the d...