RM for users’ safety and security in the built environment

Abstract

The complexity of people flows in building and city spaces can be monitored and oriented to face the multiple and changing requirements of modern life. Communication technologies and novel concepts for applying runtime monitors to empower IoT networks can support safety and wellbeing for citizens and building users. The proposed technology, based on the automated generation of Runtime Monitors as Aggregate Programming (AP) systems, fulfills the needs of several usages related to building management and construction site safety. Case studies, where the application can give a significant contribution, have been identified and selected to illustrate how to support people flow control, space and facility management, social distancing procedures and social awareness about safe escape routes or optimized paths according to customized requirements. CCS CONCEPTS• Computing methodologies → Distributed algorithms; • Computer systems organization → Embedded and cyber-physical systems.

Distributed runtime verification by past-CTL and the field calculus

“…In future work, we plan to extend this evaluation to scenarios based on real GPS traces, possibly expanding existing case studies in built environments [36], also considering the use of past-CTL properties in conjunction with runtime reflection [1], where a property is annotated with a desired action (such as activation of an actuator) when it is activated, in order to manipulate the behaviour of agents for controlling the overall system evolution.…”