jSSTL - A Tool to Monitor Spatio-Temporal Properties

Laura Nenzi; Luca Bortolussi; Michele Loreti

10th EAI International Conference on Performance Evaluation Methodologies and Tools

Research Article

jSSTL - A Tool to Monitor Spatio-Temporal Properties

Cite: BibTeX Plain Text

@INPROCEEDINGS{10.4108/eai.25-10-2016.2266978,
    author={Laura Nenzi and Luca Bortolussi and Michele Loreti},
    title={jSSTL - A Tool to Monitor Spatio-Temporal Properties},
    proceedings={10th EAI International Conference on Performance Evaluation Methodologies and Tools},
    publisher={ACM},
    proceedings_a={VALUETOOLS},
    year={2017},
    month={5},
    keywords={monitoring spatio-temporal logic signal temporal logic java tool eclipse},
    doi={10.4108/eai.25-10-2016.2266978}
}

Laura Nenzi
Luca Bortolussi
Michele Loreti
Year: 2017
jSSTL - A Tool to Monitor Spatio-Temporal Properties
VALUETOOLS
ACM
DOI: 10.4108/eai.25-10-2016.2266978

Laura Nenzi¹^,*, Luca Bortolussi², Michele Loreti³

1: IMT, Lucca, Italy
2: DMG, University of Trieste
3: University of Florence

*Contact email: laura.nenzi@imtlucca.it

Abstract

Controlling and designing spatio-temporal behaviours requires proper formal tools to describe such properties, and to monitor and verify whether, and how robustly, they are satisfied by a system. In this paper, we introduce jSSTL, a Java tool for the specification of Signal Spatio-Temporal Logic (SSTL) properties and their robust monitoring on spatio-temporal trajectories. The tool consists of a jSSTL API and a front-end, integrated in ECLIPSE. We describe in details the framework and the use of the plugin, exploiting a running example of a cholera outbreak.

Keywords: monitoring spatio-temporal logic signal temporal logic java tool eclipse

Published: 2017-05-03
Publisher: ACM

: http://dx.doi.org/10.4108/eai.25-10-2016.2266978