RM for Users’ Safety and Security in the Built Environment
As the cost of computing devices continues to decrease, swarms of low-end intelligent devices become a more interesting solution for safety-critical applications. The safe execution of such systems, however, usually requires mechanisms ensuring that relevant global properties, expressed as logical formulas, are satisfied. These formulas need to capture properties of the system evolution in time, and of its distribution in space, thus requiring a mix of spatial and temporal logic modalities. Furthermore, in scenarios where access to the cloud might not be available, monitoring their validity should be performed autonomously by the distributed system itself. Previous works show that through the aggregate computing approach, and targeting the field calculus language, automatic translations of spatial or temporal logic formulas into distributed decentralized monitors are possible. However, the definition and translation of properties mixing space and time has not been considered so far. In this paper, we start the investigation on integrating space and time modalities through examples, outlining a roadmap for a fully-fledged distributed monitoring of space-time properties.
Slides (Torta.pdf) | 921KiB |
Mon 12 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
13:30 - 14:50 | |||
13:30 40mKeynote | The E-ACSL Perspective on Runtime Assertion Checking VORTEX Julien Signoles CEA LIST File Attached | ||
14:10 20mTalk | Towards Aggregate Monitoring of Spatio-temporal Properties VORTEX File Attached | ||
14:30 20mTalk | RM for Users’ Safety and Security in the Built Environment VORTEX Giorgio Audrito Università di Torino, Ferruccio Damiani University of Turin, Giuseppe Di Giuda , Silvia Meschini , Laura Pellegrini , Elena Seghezzi , Lavinia Chiara Tagliabue , Lorenzo Testa , Gianluca Torta File Attached |