TY - GEN
T1 - Rapid evidence-based development of mobile medical IoT apps
AU - Bagade, Priyanka
AU - Banerjee, Ayan
AU - Gupta, Sandeep
N1 - Funding Information:
The work is partly funded by NSF IIS 1116385 and NIH NIBIB EB019202.
Publisher Copyright:
© 2016 IEEE.
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
T3 - 2016 IEEE International Conference on Pervasive Computing and Communication Workshops, PerCom Workshops 2016
BT - 2016 IEEE International Conference on Pervasive Computing and Communication Workshops, PerCom Workshops 2016
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 13th IEEE International Conference on Pervasive Computing and Communication Workshops, PerCom Workshops 2016
Y2 - 14 March 2016 through 18 March 2016
ER -