IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Talk "Monitoring Mobile and Spatially Distributed Cyber-Physical Systems"

by Michele Loreti

Sat, 06 April 2019 at 02:40 pm in Prague, Czech Republic

Joint work with: E. Bartocci, L. Bortolussi, L. Nenzi

Abstract: Cyber-Physical Systems (CPS) consist of collaborative, networked and tightly intertwined computational (logical) and physical components, each operating at different spatial and temporal scales. Hence, spatial along with the temporal requirements play an essential role for their correct and safe execution. However, the local interactions among the system components result in global spatio-temporal emergent behaviors often impossible to predict at the design time. In this talk we present STREL, a novel spatio-temporal logic that enables the specification of spatio-temporal requirements and to monitor them over the execution of mobile and spatially distributed CPS. STREL semantics is defined in terms of constraint semirings, an algebraic structure suitable for constraint satisfaction and optimisation. Finally, an offline monitoring algorithm for STREL is described and, to demonstrate the feasibility of our approach, used to monitor a simulated mobile ad-hoc sensor network as running example.