RM for Users' Safety and Security in the Built Environment

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.