Unsolved problem
WiFi and RF signals already permeate hospitals. Changes in propagation caused by breathing and heartbeat are detectable without worn devices. No formally specified, regulatory-compliant acquisition architecture exists.
Vitacore angle
Formal specification of an RF-based contactless vital-signs system using timed automata, with RF propagation modelling adapted from telecommunications multipath analysis.