Chairs: C. Cirstea, F. Gadducci, H. Schlingloff Past Chairmen: M. Roggenbach, L. Schröder, T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski
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.