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 Scopus citations

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 (Electronic)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

Publication series

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

Other

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

ASJC Scopus subject areas

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

Fingerprint

Dive into the research topics of 'Rapid evidence-based development of mobile medical IoT apps'. Together they form a unique fingerprint.

Cite this