Analysis of Smart Mobile Applications for Healthcare under Dynamic Context Changes

Research output: Contribution to journalArticle

23 Citations (Scopus)

Abstract

Smart mobile medical computing systems (SMDCSes), e.g., mobile medical applications use context information from the environment to provide useful and often critical healthcare services such as continuous monitoring and control of blood glucose levels by infusion of insulin. Given the unsupervised nature of operation of SMDCSes, context changes that are unaccounted for can cause unprecedented faults leading to violation of requirements such as safety, energy sustainability and reliability. Analysis of SMDCSes for testing requirements violations necessitates consideration of context dependent interactions between the SMDCS software, represented by discrete operating modes and its environment, represented by non-linear partial differential equations over space and time. An intractable number of context change sequence and lack of closed form solutions to differential equations makes the requirements analysis of SMDCSes a challenging task. This paper proposes a novel technique to analyze SMDCSes taking into account the dynamic changes in the context and the constant interaction of the computing systems with the physical environment. To show the usage of the technique, Ayushman pervasive health monitoring system is considered as an example SMDCS. Analytical results show that practices considered healthy for a person such as mobility may not be beneficial when an SMDCS is controlling health.

Original languageEnglish (US)
Article number6849486
Pages (from-to)904-919
Number of pages16
JournalIEEE Transactions on Mobile Computing
Volume14
Issue number5
DOIs
StatePublished - May 1 2015

Fingerprint

Medical computing
Health
Monitoring
Insulin
Medical applications
Partial differential equations
Glucose
Sustainable development
Blood
Differential equations
Testing

Keywords

  • cyber-physical systems
  • medical devices
  • pervasive health monitoring system
  • safety, sustainability
  • Smart mobile applications

ASJC Scopus subject areas

  • Electrical and Electronic Engineering
  • Computer Networks and Communications
  • Software

Cite this

Analysis of Smart Mobile Applications for Healthcare under Dynamic Context Changes. / Banerjee, Ayan; Gupta, Sandeep.

In: IEEE Transactions on Mobile Computing, Vol. 14, No. 5, 6849486, 01.05.2015, p. 904-919.

Research output: Contribution to journalArticle

@article{c3a1eb75e87c4d228558c1248a295e31,
title = "Analysis of Smart Mobile Applications for Healthcare under Dynamic Context Changes",
abstract = "Smart mobile medical computing systems (SMDCSes), e.g., mobile medical applications use context information from the environment to provide useful and often critical healthcare services such as continuous monitoring and control of blood glucose levels by infusion of insulin. Given the unsupervised nature of operation of SMDCSes, context changes that are unaccounted for can cause unprecedented faults leading to violation of requirements such as safety, energy sustainability and reliability. Analysis of SMDCSes for testing requirements violations necessitates consideration of context dependent interactions between the SMDCS software, represented by discrete operating modes and its environment, represented by non-linear partial differential equations over space and time. An intractable number of context change sequence and lack of closed form solutions to differential equations makes the requirements analysis of SMDCSes a challenging task. This paper proposes a novel technique to analyze SMDCSes taking into account the dynamic changes in the context and the constant interaction of the computing systems with the physical environment. To show the usage of the technique, Ayushman pervasive health monitoring system is considered as an example SMDCS. Analytical results show that practices considered healthy for a person such as mobility may not be beneficial when an SMDCS is controlling health.",
keywords = "cyber-physical systems, medical devices, pervasive health monitoring system, safety, sustainability, Smart mobile applications",
author = "Ayan Banerjee and Sandeep Gupta",
year = "2015",
month = "5",
day = "1",
doi = "10.1109/TMC.2014.2334606",
language = "English (US)",
volume = "14",
pages = "904--919",
journal = "IEEE Transactions on Mobile Computing",
issn = "1536-1233",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
number = "5",

}

TY - JOUR

T1 - Analysis of Smart Mobile Applications for Healthcare under Dynamic Context Changes

AU - Banerjee, Ayan

AU - Gupta, Sandeep

PY - 2015/5/1

Y1 - 2015/5/1

N2 - Smart mobile medical computing systems (SMDCSes), e.g., mobile medical applications use context information from the environment to provide useful and often critical healthcare services such as continuous monitoring and control of blood glucose levels by infusion of insulin. Given the unsupervised nature of operation of SMDCSes, context changes that are unaccounted for can cause unprecedented faults leading to violation of requirements such as safety, energy sustainability and reliability. Analysis of SMDCSes for testing requirements violations necessitates consideration of context dependent interactions between the SMDCS software, represented by discrete operating modes and its environment, represented by non-linear partial differential equations over space and time. An intractable number of context change sequence and lack of closed form solutions to differential equations makes the requirements analysis of SMDCSes a challenging task. This paper proposes a novel technique to analyze SMDCSes taking into account the dynamic changes in the context and the constant interaction of the computing systems with the physical environment. To show the usage of the technique, Ayushman pervasive health monitoring system is considered as an example SMDCS. Analytical results show that practices considered healthy for a person such as mobility may not be beneficial when an SMDCS is controlling health.

AB - Smart mobile medical computing systems (SMDCSes), e.g., mobile medical applications use context information from the environment to provide useful and often critical healthcare services such as continuous monitoring and control of blood glucose levels by infusion of insulin. Given the unsupervised nature of operation of SMDCSes, context changes that are unaccounted for can cause unprecedented faults leading to violation of requirements such as safety, energy sustainability and reliability. Analysis of SMDCSes for testing requirements violations necessitates consideration of context dependent interactions between the SMDCS software, represented by discrete operating modes and its environment, represented by non-linear partial differential equations over space and time. An intractable number of context change sequence and lack of closed form solutions to differential equations makes the requirements analysis of SMDCSes a challenging task. This paper proposes a novel technique to analyze SMDCSes taking into account the dynamic changes in the context and the constant interaction of the computing systems with the physical environment. To show the usage of the technique, Ayushman pervasive health monitoring system is considered as an example SMDCS. Analytical results show that practices considered healthy for a person such as mobility may not be beneficial when an SMDCS is controlling health.

KW - cyber-physical systems

KW - medical devices

KW - pervasive health monitoring system

KW - safety, sustainability

KW - Smart mobile applications

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

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

U2 - 10.1109/TMC.2014.2334606

DO - 10.1109/TMC.2014.2334606

M3 - Article

AN - SCOPUS:84926367063

VL - 14

SP - 904

EP - 919

JO - IEEE Transactions on Mobile Computing

JF - IEEE Transactions on Mobile Computing

SN - 1536-1233

IS - 5

M1 - 6849486

ER -