Automatic Translation of Spatio-Temporal Logics to Streaming-Based Monitoring Applications for IoT-Equipped Autonomous Agents
Paper i proceeding, 2019

Environments in which IoT-equipped autonomous agents and humans tightly interact require safety rules that monitor the agents' behaviors. In this context, expressive and human-comprehensible rules based on Spatio-Temporal Logics (STLs) are desirable because they are informative and easy to maintain. Unfortunately, STLs usually build on ad-hoc platforms implementing the logic semantics.

We tackle this limitation with a mechanism to transparently compile STL rules to monitoring applications composed of standard data streaming operators, thus opening up the use of high-throughput and low-latency Stream Processing Engines for monitoring rule compliance in realistic, data-rich IoT scenarios. Our contribution can favor a broader and faster adoption of STLs for IoT-equipped agent monitoring by separating the concerns of designing a rule from those of implementing its semantics. Together with our formal description of how to translate STLs to the streaming domain, we evaluate our prototype implementation based on Apache Flink, studying the effects of parameters such as time and space resolution on the monitoring performance.

spatio-temporal logic semantics

data streaming

Författare

Luca Bortolussi

Universita degli Studi di Trieste

Vincenzo Massimiliano Gulisano

Chalmers, Data- och informationsteknik, Nätverk och system

Eric Medvet

Universita degli Studi di Trieste

Dimitrios Palyvos-Giannas

Chalmers, Data- och informationsteknik, Nätverk och system

Proceedings of the 6th International Workshop on Middleware and Applications for the Internet of Things

7-12

6th International Workshop on Middleware and Applications for the Internet of Things
Davis, USA,

Molnbaserade produkter och produktion (FiC)

Stiftelsen för Strategisk forskning (SSF), 2016-01-01 -- 2020-12-31.

HAREN: Självdistribuerad och anpassningsbar dataströmningsanalys i dimman

Vetenskapsrådet (VR), 2017-01-01 -- 2020-12-31.

STAMINA - GE

Göteborg Energi, Forskningsstiftelsen, 2017-01-01 -- 2021-12-31.

INDEED

Chalmers, 2016-01-01 -- 2020-12-31.

Styrkeområden

Informations- och kommunikationsteknik

Ämneskategorier

Inbäddad systemteknik

Datavetenskap (datalogi)

Datorsystem

DOI

10.1145/3366610.3368097

Mer information

Skapat

2019-12-23