Runtime Monitoring of Real time Safety Requirements in Smart Cities

08/06/2019
by   Meiyi Ma, et al.
0

There is an increasing need for the runtime monitoring of real time safety and performance requirements in smart cities. In this paper, we present SaSTL, a novel Spatial Aggregation Signal Temporal Logic, to specify and monitor real time requirements in smart cities. We also develop an efficient runtime monitoring algorithm that can check in parallel a SaSTL requirement over multiple data streams generated from thousands of sensors that are typically spatially distributed over a smart city. We evaluate the real time SaSTL monitor by applying it to two city application scenarios with large scale real sensing data, (e.g., up to 10,000 sensors in one requirement). The results show that SaSTL monitoring can help improve the city performance in simulated experiments (e.g., 21.1 significant reduction of computation time compared with previous approaches (e.g., from 2 hours to 30 minutes on average when monitoring 80 requirements).

READ FULL TEXT
research
08/06/2019

Runtime Monitoring of Safety and Performance Requirements in Smart Cities

With the increasing number of smart services implemented in smart cities...
research
10/31/2020

CityPM: Predictive Monitoring with Logic-Calibrated Uncertainty for Smart Cities

We present CityPM, a novel predictive monitoring system for smart cities...
research
08/10/2023

QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring

In various service-oriented applications such as distributed autonomous ...
research
09/28/2022

Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions

Autonomous driving functions (ADFs) in public traffic have to comply wit...
research
08/07/2019

Transferring knowledge from monitored to unmonitored areas for forecasting parking spaces

Smart cities around the world have begun monitoring parking areas in ord...
research
02/22/2023

Fairguard: Harness Logic-based Fairness Rules in Smart Cities

Smart cities operate on computational predictive frameworks that collect...
research
05/02/2018

SONYC: A System for the Monitoring, Analysis and Mitigation of Urban Noise Pollution

We present the Sounds of New York City (SONYC) project, a smart cities i...

Please sign up or login with your details

Forgot password? Click here to reset