Evidence-based development approach for safe, sustainable and secure mobile medical app

Priyanka Bagade, Ayan Banerjee, Sandeep Gupta

Research output: Chapter in Book/Report/Conference proceedingChapter

6 Citations (Scopus)

Abstract

According to industry surveys, by 2018, more than 1.7 billion smartphone and tablet users will have downloaded at least one mobile medical app (MMA) [40]. Such widespread adoption of smartphone based medical apps is opening new avenues for innovation, bringing MMAs to the forefront of low cost healthcare delivery. These apps often control human physiology and work on sensitive health data, thus it is necessary to have evidences of their trustworthiness before actual marketing. The key challenges in ensuring trustworthiness of MMAs are maintaining privacy of health data, long term operation of wearable sensors and ensuring no physical harm to the user. Traditionally, clinical studies are used to generate evidences of trustworthiness of medical systems. However, they can take a long time and could potentially harm the user during studies. Thus it is essential to establish trustworthiness of MMAs before their actual use. One way to generate such evidences can be using simulations and mathematical analysis. These methods involve estimating the MMA interactions with human physiology. However, the nonlinear nature of human physiology makes the estimation challenging. Thus, it is required to analyze and develop MMA software while taking into account its interactions with human physiology to assure trustworthiness. This chapter focuses emerging app developmentmethodologies,which support automatic evaluation of trustworthiness of MMAs by supporting automatic generation of evidences. This methodology involves, a) evidence generation to assure trustworthiness i.e. safety, security and sustainability of MMAs and b) requirement assured code generation for vulnerable components of the MMA without hindering the app development process. These methods are intended to expedite the design to marketing process of MMAs. In this regard, this chapter discusses example models, tools and theory for evidence generation with the following themes: • Software design configuration estimation of MMAs: Using an optimization framework which can generate sustainable and safe sensor configurations while considering interactions of the MMA with the environment. • Requirements verification of the MMA design: Using models and tools to verify safety properties of the MMA design which can ensure the verified design will not cause any harm to the human physiology. • Automatic code generation for MMAs: Investigating methods for automatically generating safety, sustainability and security assured software for vulnerable components of a MMA. • Performance analysis of MMA software developed using evidence-based approach: Evaluating quality and response time of MMA software developed using evidence-based approach.

Original languageEnglish (US)
Title of host publicationSmart Sensors, Measurement and Instrumentation
PublisherSpringer International Publishing
Pages135-174
Number of pages40
Volume15
DOIs
StatePublished - 2015

Publication series

NameSmart Sensors, Measurement and Instrumentation
Volume15
ISSN (Print)2194-8402
ISSN (Electronic)2194-8410

Fingerprint

physiology
Application programs
computer programs
marketing
safety
Physiology
health
privacy
requirements
tablets
applications of mathematics
sensors
interactions
configurations
emerging
delivery
Smartphones
estimating
industries
methodology

ASJC Scopus subject areas

  • Computer Science (miscellaneous)
  • Electrical and Electronic Engineering
  • Mechanical Engineering
  • Instrumentation

Cite this

Bagade, P., Banerjee, A., & Gupta, S. (2015). Evidence-based development approach for safe, sustainable and secure mobile medical app. In Smart Sensors, Measurement and Instrumentation (Vol. 15, pp. 135-174). (Smart Sensors, Measurement and Instrumentation; Vol. 15). Springer International Publishing. https://doi.org/10.1007/978-3-319-18191-2_6

Evidence-based development approach for safe, sustainable and secure mobile medical app. / Bagade, Priyanka; Banerjee, Ayan; Gupta, Sandeep.

Smart Sensors, Measurement and Instrumentation. Vol. 15 Springer International Publishing, 2015. p. 135-174 (Smart Sensors, Measurement and Instrumentation; Vol. 15).

Research output: Chapter in Book/Report/Conference proceedingChapter

Bagade, P, Banerjee, A & Gupta, S 2015, Evidence-based development approach for safe, sustainable and secure mobile medical app. in Smart Sensors, Measurement and Instrumentation. vol. 15, Smart Sensors, Measurement and Instrumentation, vol. 15, Springer International Publishing, pp. 135-174. https://doi.org/10.1007/978-3-319-18191-2_6
Bagade P, Banerjee A, Gupta S. Evidence-based development approach for safe, sustainable and secure mobile medical app. In Smart Sensors, Measurement and Instrumentation. Vol. 15. Springer International Publishing. 2015. p. 135-174. (Smart Sensors, Measurement and Instrumentation). https://doi.org/10.1007/978-3-319-18191-2_6
Bagade, Priyanka ; Banerjee, Ayan ; Gupta, Sandeep. / Evidence-based development approach for safe, sustainable and secure mobile medical app. Smart Sensors, Measurement and Instrumentation. Vol. 15 Springer International Publishing, 2015. pp. 135-174 (Smart Sensors, Measurement and Instrumentation).
@inbook{e11c00e1a0af4288b99645b69a41530d,
title = "Evidence-based development approach for safe, sustainable and secure mobile medical app",
abstract = "According to industry surveys, by 2018, more than 1.7 billion smartphone and tablet users will have downloaded at least one mobile medical app (MMA) [40]. Such widespread adoption of smartphone based medical apps is opening new avenues for innovation, bringing MMAs to the forefront of low cost healthcare delivery. These apps often control human physiology and work on sensitive health data, thus it is necessary to have evidences of their trustworthiness before actual marketing. The key challenges in ensuring trustworthiness of MMAs are maintaining privacy of health data, long term operation of wearable sensors and ensuring no physical harm to the user. Traditionally, clinical studies are used to generate evidences of trustworthiness of medical systems. However, they can take a long time and could potentially harm the user during studies. Thus it is essential to establish trustworthiness of MMAs before their actual use. One way to generate such evidences can be using simulations and mathematical analysis. These methods involve estimating the MMA interactions with human physiology. However, the nonlinear nature of human physiology makes the estimation challenging. Thus, it is required to analyze and develop MMA software while taking into account its interactions with human physiology to assure trustworthiness. This chapter focuses emerging app developmentmethodologies,which support automatic evaluation of trustworthiness of MMAs by supporting automatic generation of evidences. This methodology involves, a) evidence generation to assure trustworthiness i.e. safety, security and sustainability of MMAs and b) requirement assured code generation for vulnerable components of the MMA without hindering the app development process. These methods are intended to expedite the design to marketing process of MMAs. In this regard, this chapter discusses example models, tools and theory for evidence generation with the following themes: • Software design configuration estimation of MMAs: Using an optimization framework which can generate sustainable and safe sensor configurations while considering interactions of the MMA with the environment. • Requirements verification of the MMA design: Using models and tools to verify safety properties of the MMA design which can ensure the verified design will not cause any harm to the human physiology. • Automatic code generation for MMAs: Investigating methods for automatically generating safety, sustainability and security assured software for vulnerable components of a MMA. • Performance analysis of MMA software developed using evidence-based approach: Evaluating quality and response time of MMA software developed using evidence-based approach.",
author = "Priyanka Bagade and Ayan Banerjee and Sandeep Gupta",
year = "2015",
doi = "10.1007/978-3-319-18191-2_6",
language = "English (US)",
volume = "15",
series = "Smart Sensors, Measurement and Instrumentation",
publisher = "Springer International Publishing",
pages = "135--174",
booktitle = "Smart Sensors, Measurement and Instrumentation",

}

TY - CHAP

T1 - Evidence-based development approach for safe, sustainable and secure mobile medical app

AU - Bagade, Priyanka

AU - Banerjee, Ayan

AU - Gupta, Sandeep

PY - 2015

Y1 - 2015

N2 - According to industry surveys, by 2018, more than 1.7 billion smartphone and tablet users will have downloaded at least one mobile medical app (MMA) [40]. Such widespread adoption of smartphone based medical apps is opening new avenues for innovation, bringing MMAs to the forefront of low cost healthcare delivery. These apps often control human physiology and work on sensitive health data, thus it is necessary to have evidences of their trustworthiness before actual marketing. The key challenges in ensuring trustworthiness of MMAs are maintaining privacy of health data, long term operation of wearable sensors and ensuring no physical harm to the user. Traditionally, clinical studies are used to generate evidences of trustworthiness of medical systems. However, they can take a long time and could potentially harm the user during studies. Thus it is essential to establish trustworthiness of MMAs before their actual use. One way to generate such evidences can be using simulations and mathematical analysis. These methods involve estimating the MMA interactions with human physiology. However, the nonlinear nature of human physiology makes the estimation challenging. Thus, it is required to analyze and develop MMA software while taking into account its interactions with human physiology to assure trustworthiness. This chapter focuses emerging app developmentmethodologies,which support automatic evaluation of trustworthiness of MMAs by supporting automatic generation of evidences. This methodology involves, a) evidence generation to assure trustworthiness i.e. safety, security and sustainability of MMAs and b) requirement assured code generation for vulnerable components of the MMA without hindering the app development process. These methods are intended to expedite the design to marketing process of MMAs. In this regard, this chapter discusses example models, tools and theory for evidence generation with the following themes: • Software design configuration estimation of MMAs: Using an optimization framework which can generate sustainable and safe sensor configurations while considering interactions of the MMA with the environment. • Requirements verification of the MMA design: Using models and tools to verify safety properties of the MMA design which can ensure the verified design will not cause any harm to the human physiology. • Automatic code generation for MMAs: Investigating methods for automatically generating safety, sustainability and security assured software for vulnerable components of a MMA. • Performance analysis of MMA software developed using evidence-based approach: Evaluating quality and response time of MMA software developed using evidence-based approach.

AB - According to industry surveys, by 2018, more than 1.7 billion smartphone and tablet users will have downloaded at least one mobile medical app (MMA) [40]. Such widespread adoption of smartphone based medical apps is opening new avenues for innovation, bringing MMAs to the forefront of low cost healthcare delivery. These apps often control human physiology and work on sensitive health data, thus it is necessary to have evidences of their trustworthiness before actual marketing. The key challenges in ensuring trustworthiness of MMAs are maintaining privacy of health data, long term operation of wearable sensors and ensuring no physical harm to the user. Traditionally, clinical studies are used to generate evidences of trustworthiness of medical systems. However, they can take a long time and could potentially harm the user during studies. Thus it is essential to establish trustworthiness of MMAs before their actual use. One way to generate such evidences can be using simulations and mathematical analysis. These methods involve estimating the MMA interactions with human physiology. However, the nonlinear nature of human physiology makes the estimation challenging. Thus, it is required to analyze and develop MMA software while taking into account its interactions with human physiology to assure trustworthiness. This chapter focuses emerging app developmentmethodologies,which support automatic evaluation of trustworthiness of MMAs by supporting automatic generation of evidences. This methodology involves, a) evidence generation to assure trustworthiness i.e. safety, security and sustainability of MMAs and b) requirement assured code generation for vulnerable components of the MMA without hindering the app development process. These methods are intended to expedite the design to marketing process of MMAs. In this regard, this chapter discusses example models, tools and theory for evidence generation with the following themes: • Software design configuration estimation of MMAs: Using an optimization framework which can generate sustainable and safe sensor configurations while considering interactions of the MMA with the environment. • Requirements verification of the MMA design: Using models and tools to verify safety properties of the MMA design which can ensure the verified design will not cause any harm to the human physiology. • Automatic code generation for MMAs: Investigating methods for automatically generating safety, sustainability and security assured software for vulnerable components of a MMA. • Performance analysis of MMA software developed using evidence-based approach: Evaluating quality and response time of MMA software developed using evidence-based approach.

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

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

U2 - 10.1007/978-3-319-18191-2_6

DO - 10.1007/978-3-319-18191-2_6

M3 - Chapter

AN - SCOPUS:84966584821

VL - 15

T3 - Smart Sensors, Measurement and Instrumentation

SP - 135

EP - 174

BT - Smart Sensors, Measurement and Instrumentation

PB - Springer International Publishing

ER -