Aggregate Runtime Verification for Emergency Healthcare in Crowded Events
Gianluca Torta, Gianluca Aguzzi, Ferruccio Damiani, Mirko Viroli · 2025
Community-oriented wearable computing systems, where interconnected wearable devices act collectively to provide community-wide services, are increasingly used in healthcare scenarios where reliable monitoring and coordination are crucial. This paper investigates the feasibility of applying aggregate runtime verification techniques to ensure safety in such systems, particularly during large-scale crowded events where connectivity is limited. Our approach leverages aggregate programming, a distributed macroprogramming paradigm that enables verification of system-wide properties without central control or data collection. Through a case study on emergency healthcare, we demonstrate how this framework can detect emergencies and trigger appropriate responses in a fully distributed manner, addressing challenges in connectivity and safety.