Runtime Monitoring of Human Behaviour with Aggregate Computing on Android
Wearable devices give new opportunities to monitor the safety of human behaviour in critical situations. Strategies used for monitoring device swarms can be naturally ported to human monitoring, by running the monitors on wearable devices connected to their human owners. In most wearable architectures, a crucial role is played by a smartphone, which usually coordinates multiple wearables of a single owner. Thus, for the time being, the smartphone itself is the natural candidate for running such a monitor. In this paper, we present a prototype implementation of a monitoring application of human behaviour in critical situations. The application is run on Android smartphones, does not require an internet connection by relying on Bluetooth advertisements, and is able to monitor space-time properties expressed as logical formulas, then translated into aggregate computing (AC) programs. The monitors are continuously updated and interact with the users through a simple user interface (UI). A preliminary experiment illustrates potential uses and shows the effectiveness of the approach in a small-scale real-world scenario.
Tue 18 JulDisplayed time zone: Pacific Time (US & Canada) change
10:30 - 12:00 | |||
10:30 20mTalk | Runtime Monitoring of Human Behaviour with Aggregate Computing on Android VORTEX Media Attached | ||
10:50 20mTalk | On Stream Runtime Verification and Aggregate Programming VORTEX Ferruccio Damiani University of Turin, Gianluca Torta Dipartimento di Informatica - Università di Torino, Italy | ||
11:10 20mTalk | Combining Static and Runtime Verification with AC and Coq VORTEX |