Pubblicazione scientifica

Work-in-Progress: Verifiably Safe SCUBA Diving using Commodity Sensors

FILONE TECNOLOGICO	TEMA
sicurezza e qualità sui luoghi di lavoro

RIASSUNTO

SCUBA diving is an activity in which divers remain underwater for prolonged periods by using a self-contained breathing apparatus. Diving is safety critical because changing depth too rapidly or running out of oxygen before surfacing can result in life-threatening consequences. These risks are currently minimized by using a wrist-mounted, `air-integrated' dive computer that monitors time, depth and air tank pressure (received through expensive wireless transceivers or a hose). These computers are costly for the average recreational dive. We present a hybrid systems model and safety proof for a SCUBA diving computer that estimates air consumption of the diver using commodity heart rate sensors, instead. We employ a mathematical model of oxygen uptake in response to exercise and thereby predict the time remaining for the air supply to be depleted, as well as obviate the need for a tank-mounted wireless transmitter or the cumbersome hose integrated computer for directly monitoring tank pressure. We formally verify a controller that ensures the diver can always surface without running out of breathable air.

DATA

Data di pubblicazione: 01/10/2019

AUTORI

VIREN BAJAJ
KARIM ELMAAROUFI
NATHAN FULTON
ANDRE PLATZER

ENTE DI AFFERENZA

CARNEGIE MELLON UNIVERSITYPITTSBURGHPENNSYLVANIA

RIVISTA

2019 International Conference on Embedded Software (EMSOFT) (Page(s): 1-2)

indietro