Rapid evidence-based development of mobile medical IoT apps

Priyanka Bagade, Ayan Banerjee, Sandeep Gupta

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

Mobile medical apps (MMAs) work in close loop with human physiology through sensing and control. As such it is essential for them to achieve intended functionality, without having harmful effects on human physiology, affecting the availability of the service and compromising the privacy of health data. However for a mobile app manufacturer, generating evidences regarding safety, sustainability and security (S3) of MMAs can be time consuming. To accelerate the development of S3 assured MMAs, we propose Health-Dev β tool that takes high level description of MMAs and automatically generates validated code and evidences of safety, security, and sustainability. Using the mobile artificial pancreas medical control application we show that Health-Dev β tool can generate code that satisfies requirements and reduce development time by a factor of 1.8.

Original languageEnglish (US)
Title of host publication2016 IEEE International Conference on Pervasive Computing and Communication Workshops, PerCom Workshops 2016
PublisherInstitute of Electrical and Electronics Engineers Inc.
ISBN (Print)9781509019410
DOIs
StatePublished - Apr 19 2016
Event13th IEEE International Conference on Pervasive Computing and Communication Workshops, PerCom Workshops 2016 - Sydney, Australia
Duration: Mar 14 2016Mar 18 2016

Other

Other13th IEEE International Conference on Pervasive Computing and Communication Workshops, PerCom Workshops 2016
CountryAustralia
CitySydney
Period3/14/163/18/16

Fingerprint

Application programs
Physiology
Health
Sustainable development
Internet of things
Availability

ASJC Scopus subject areas

  • Computer Science Applications
  • Computer Networks and Communications
  • Human-Computer Interaction

Cite this

Bagade, P., Banerjee, A., & Gupta, S. (2016). Rapid evidence-based development of mobile medical IoT apps. In 2016 IEEE International Conference on Pervasive Computing and Communication Workshops, PerCom Workshops 2016 [7457157] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/PERCOMW.2016.7457157

Rapid evidence-based development of mobile medical IoT apps. / Bagade, Priyanka; Banerjee, Ayan; Gupta, Sandeep.

2016 IEEE International Conference on Pervasive Computing and Communication Workshops, PerCom Workshops 2016. Institute of Electrical and Electronics Engineers Inc., 2016. 7457157.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Bagade, P, Banerjee, A & Gupta, S 2016, Rapid evidence-based development of mobile medical IoT apps. in 2016 IEEE International Conference on Pervasive Computing and Communication Workshops, PerCom Workshops 2016., 7457157, Institute of Electrical and Electronics Engineers Inc., 13th IEEE International Conference on Pervasive Computing and Communication Workshops, PerCom Workshops 2016, Sydney, Australia, 3/14/16. https://doi.org/10.1109/PERCOMW.2016.7457157
Bagade P, Banerjee A, Gupta S. Rapid evidence-based development of mobile medical IoT apps. In 2016 IEEE International Conference on Pervasive Computing and Communication Workshops, PerCom Workshops 2016. Institute of Electrical and Electronics Engineers Inc. 2016. 7457157 https://doi.org/10.1109/PERCOMW.2016.7457157
Bagade, Priyanka ; Banerjee, Ayan ; Gupta, Sandeep. / Rapid evidence-based development of mobile medical IoT apps. 2016 IEEE International Conference on Pervasive Computing and Communication Workshops, PerCom Workshops 2016. Institute of Electrical and Electronics Engineers Inc., 2016.
@inproceedings{393b37c73c96460e938ba3a4672078d3,
title = "Rapid evidence-based development of mobile medical IoT apps",
abstract = "Mobile medical apps (MMAs) work in close loop with human physiology through sensing and control. As such it is essential for them to achieve intended functionality, without having harmful effects on human physiology, affecting the availability of the service and compromising the privacy of health data. However for a mobile app manufacturer, generating evidences regarding safety, sustainability and security (S3) of MMAs can be time consuming. To accelerate the development of S3 assured MMAs, we propose Health-Dev β tool that takes high level description of MMAs and automatically generates validated code and evidences of safety, security, and sustainability. Using the mobile artificial pancreas medical control application we show that Health-Dev β tool can generate code that satisfies requirements and reduce development time by a factor of 1.8.",
author = "Priyanka Bagade and Ayan Banerjee and Sandeep Gupta",
year = "2016",
month = "4",
day = "19",
doi = "10.1109/PERCOMW.2016.7457157",
language = "English (US)",
isbn = "9781509019410",
booktitle = "2016 IEEE International Conference on Pervasive Computing and Communication Workshops, PerCom Workshops 2016",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - GEN

T1 - Rapid evidence-based development of mobile medical IoT apps

AU - Bagade, Priyanka

AU - Banerjee, Ayan

AU - Gupta, Sandeep

PY - 2016/4/19

Y1 - 2016/4/19

N2 - Mobile medical apps (MMAs) work in close loop with human physiology through sensing and control. As such it is essential for them to achieve intended functionality, without having harmful effects on human physiology, affecting the availability of the service and compromising the privacy of health data. However for a mobile app manufacturer, generating evidences regarding safety, sustainability and security (S3) of MMAs can be time consuming. To accelerate the development of S3 assured MMAs, we propose Health-Dev β tool that takes high level description of MMAs and automatically generates validated code and evidences of safety, security, and sustainability. Using the mobile artificial pancreas medical control application we show that Health-Dev β tool can generate code that satisfies requirements and reduce development time by a factor of 1.8.

AB - Mobile medical apps (MMAs) work in close loop with human physiology through sensing and control. As such it is essential for them to achieve intended functionality, without having harmful effects on human physiology, affecting the availability of the service and compromising the privacy of health data. However for a mobile app manufacturer, generating evidences regarding safety, sustainability and security (S3) of MMAs can be time consuming. To accelerate the development of S3 assured MMAs, we propose Health-Dev β tool that takes high level description of MMAs and automatically generates validated code and evidences of safety, security, and sustainability. Using the mobile artificial pancreas medical control application we show that Health-Dev β tool can generate code that satisfies requirements and reduce development time by a factor of 1.8.

UR - http://www.scopus.com/inward/record.url?scp=84966662646&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84966662646&partnerID=8YFLogxK

U2 - 10.1109/PERCOMW.2016.7457157

DO - 10.1109/PERCOMW.2016.7457157

M3 - Conference contribution

AN - SCOPUS:84966662646

SN - 9781509019410

BT - 2016 IEEE International Conference on Pervasive Computing and Communication Workshops, PerCom Workshops 2016

PB - Institute of Electrical and Electronics Engineers Inc.

ER -