Health-Dev: Model based development pervasive health monitoring systems

Ayan Banerjee, Sunit Verma, Priyanka Bagade, Sandeep Gupta

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

15 Citations (Scopus)

Abstract

Implementing requirements verified body worn medical sensors and smart phones, acting as base stations, in Body Sensor Networks (BSNs), is of extreme importance for development of reliable pervasive health monitoring systems (PHMS). Models of BSNs have been used to analyze designs with respect to requirements such as energy consumption, lifetime, and network reliability under dynamic context changes due to user mobility. This paper proposes Health-Dev that takes a high level specification of requirements verified BSN design and automatically generates both the sensor and smart phone code. Case studies related to energy efficiency and mobility aware network reliability show whether the resulting implementation satisfies the requirements set forth in the design phase.

Original languageEnglish (US)
Title of host publicationProceedings - BSN 2012: 9th International Workshop on Wearable and Implantable Body Sensor Networks
Pages85-90
Number of pages6
DOIs
StatePublished - 2012
Event9th International Workshop on Wearable and Implantable Body Sensor Networks, BSN 2012 - London, United Kingdom
Duration: May 9 2012May 12 2012

Other

Other9th International Workshop on Wearable and Implantable Body Sensor Networks, BSN 2012
CountryUnited Kingdom
CityLondon
Period5/9/125/12/12

Fingerprint

Body sensor networks
Health
Monitoring
Sensors
Base stations
Energy efficiency
Energy utilization
Specifications

Keywords

  • AADL
  • automatic code generation
  • body sensor network
  • pervasive health monitoring system
  • smart phone

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computer Networks and Communications

Cite this

Banerjee, A., Verma, S., Bagade, P., & Gupta, S. (2012). Health-Dev: Model based development pervasive health monitoring systems. In Proceedings - BSN 2012: 9th International Workshop on Wearable and Implantable Body Sensor Networks (pp. 85-90). [6200538] https://doi.org/10.1109/BSN.2012.33

Health-Dev : Model based development pervasive health monitoring systems. / Banerjee, Ayan; Verma, Sunit; Bagade, Priyanka; Gupta, Sandeep.

Proceedings - BSN 2012: 9th International Workshop on Wearable and Implantable Body Sensor Networks. 2012. p. 85-90 6200538.

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

Banerjee, A, Verma, S, Bagade, P & Gupta, S 2012, Health-Dev: Model based development pervasive health monitoring systems. in Proceedings - BSN 2012: 9th International Workshop on Wearable and Implantable Body Sensor Networks., 6200538, pp. 85-90, 9th International Workshop on Wearable and Implantable Body Sensor Networks, BSN 2012, London, United Kingdom, 5/9/12. https://doi.org/10.1109/BSN.2012.33
Banerjee A, Verma S, Bagade P, Gupta S. Health-Dev: Model based development pervasive health monitoring systems. In Proceedings - BSN 2012: 9th International Workshop on Wearable and Implantable Body Sensor Networks. 2012. p. 85-90. 6200538 https://doi.org/10.1109/BSN.2012.33
Banerjee, Ayan ; Verma, Sunit ; Bagade, Priyanka ; Gupta, Sandeep. / Health-Dev : Model based development pervasive health monitoring systems. Proceedings - BSN 2012: 9th International Workshop on Wearable and Implantable Body Sensor Networks. 2012. pp. 85-90
@inproceedings{8bbd1fabd22c49579ee54586bc41665c,
title = "Health-Dev: Model based development pervasive health monitoring systems",
abstract = "Implementing requirements verified body worn medical sensors and smart phones, acting as base stations, in Body Sensor Networks (BSNs), is of extreme importance for development of reliable pervasive health monitoring systems (PHMS). Models of BSNs have been used to analyze designs with respect to requirements such as energy consumption, lifetime, and network reliability under dynamic context changes due to user mobility. This paper proposes Health-Dev that takes a high level specification of requirements verified BSN design and automatically generates both the sensor and smart phone code. Case studies related to energy efficiency and mobility aware network reliability show whether the resulting implementation satisfies the requirements set forth in the design phase.",
keywords = "AADL, automatic code generation, body sensor network, pervasive health monitoring system, smart phone",
author = "Ayan Banerjee and Sunit Verma and Priyanka Bagade and Sandeep Gupta",
year = "2012",
doi = "10.1109/BSN.2012.33",
language = "English (US)",
isbn = "9780769546988",
pages = "85--90",
booktitle = "Proceedings - BSN 2012: 9th International Workshop on Wearable and Implantable Body Sensor Networks",

}

TY - GEN

T1 - Health-Dev

T2 - Model based development pervasive health monitoring systems

AU - Banerjee, Ayan

AU - Verma, Sunit

AU - Bagade, Priyanka

AU - Gupta, Sandeep

PY - 2012

Y1 - 2012

N2 - Implementing requirements verified body worn medical sensors and smart phones, acting as base stations, in Body Sensor Networks (BSNs), is of extreme importance for development of reliable pervasive health monitoring systems (PHMS). Models of BSNs have been used to analyze designs with respect to requirements such as energy consumption, lifetime, and network reliability under dynamic context changes due to user mobility. This paper proposes Health-Dev that takes a high level specification of requirements verified BSN design and automatically generates both the sensor and smart phone code. Case studies related to energy efficiency and mobility aware network reliability show whether the resulting implementation satisfies the requirements set forth in the design phase.

AB - Implementing requirements verified body worn medical sensors and smart phones, acting as base stations, in Body Sensor Networks (BSNs), is of extreme importance for development of reliable pervasive health monitoring systems (PHMS). Models of BSNs have been used to analyze designs with respect to requirements such as energy consumption, lifetime, and network reliability under dynamic context changes due to user mobility. This paper proposes Health-Dev that takes a high level specification of requirements verified BSN design and automatically generates both the sensor and smart phone code. Case studies related to energy efficiency and mobility aware network reliability show whether the resulting implementation satisfies the requirements set forth in the design phase.

KW - AADL

KW - automatic code generation

KW - body sensor network

KW - pervasive health monitoring system

KW - smart phone

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

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

U2 - 10.1109/BSN.2012.33

DO - 10.1109/BSN.2012.33

M3 - Conference contribution

AN - SCOPUS:84862280954

SN - 9780769546988

SP - 85

EP - 90

BT - Proceedings - BSN 2012: 9th International Workshop on Wearable and Implantable Body Sensor Networks

ER -