Seminar from Michele Loreti

Tuesday 24th May, 2016 – GSSI – Room D (11.30 – 12.30)

Speaker: Dr. Michele Loreti – University of Florence, Italy.

Title: Monitoring of Spatio-Temporal properties of Cyber-Physical Systems

Abstract: Cyber-Physical Systems (CPS) or “smart” systems are co-engineered interacting networks of physical and computational components. These systems provide the foundation of critical infrastructure. CPS typically consist of large amount of physical interacting entities controlled or monitored by computer-based algorithms. CPS integrate the dynamics of the physical processes with those of the software and networking, providing abstractions and modeling, design, and analysis techniques for the integrated whole. New methodologies and tools are needed to formalize, verify and monitoring relevant properties of CPS. These properties do not only concern the “temporal” evolution of a system but also involve its “spatial” aspect. For this reason, recently, a new class of formal tools have been introduced to reason about spatial and temporal properties of a system. In this talk we will show new tools and techniques developed for supporting specification, verification and monitoring of spatio-temporal behaviours of CPS. Via some motivating examples we will first introduce Signal Spatio-Temporal Logic (SSTL), an extension of Signal Temporal Logic (STL) equipped with new construct for specifying topological properties in a discrete space. Then we show how SSTL and its tools can be used to support analysis of CPS.