Health-Dev: Model based development pervasive health monitoring systems

Ayan Banerjee; Sunit Verma; Priyanka Bagade; Sandeep Gupta

doi:10.1109/BSN.2012.33

Health-Dev: Model based development pervasive health monitoring systems

Ayan Banerjee, Sunit Verma, Priyanka Bagade, Sandeep Gupta

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

15 Scopus citations

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 language	English (US)
Title of host publication	Proceedings - BSN 2012
Subtitle of host publication	9th International Workshop on Wearable and Implantable Body Sensor Networks
Pages	85-90
Number of pages	6
DOIs	https://doi.org/10.1109/BSN.2012.33
State	Published - 2012
Event	9th International Workshop on Wearable and Implantable Body Sensor Networks, BSN 2012 - London, United Kingdom Duration: May 9 2012 → May 12 2012

Publication series

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

Other

Other	9th International Workshop on Wearable and Implantable Body Sensor Networks, BSN 2012
Country/Territory	United Kingdom
City	London
Period	5/9/12 → 5/12/12

Keywords

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

ASJC Scopus subject areas

Artificial Intelligence
Computer Networks and Communications

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.1109/BSN.2012.33

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] (Proceedings - BSN 2012: 9th International Workshop on Wearable and Implantable Body Sensor Networks). 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 (Proceedings - BSN 2012: 9th International Workshop on Wearable and Implantable Body Sensor Networks).

Research output: Chapter in Book/Report/Conference proceeding › Conference 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, Proceedings - BSN 2012: 9th International Workshop on Wearable and Implantable Body Sensor Networks, 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. (Proceedings - BSN 2012: 9th International Workshop on Wearable and Implantable Body Sensor Networks). https://doi.org/10.1109/BSN.2012.33

@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",

series = "Proceedings - BSN 2012: 9th International Workshop on Wearable and Implantable Body Sensor Networks",

pages = "85--90",

booktitle = "Proceedings - BSN 2012",

note = "9th International Workshop on Wearable and Implantable Body Sensor Networks, BSN 2012 ; Conference date: 09-05-2012 Through 12-05-2012",

}

TY - GEN

T1 - Health-Dev

T2 - 9th International Workshop on Wearable and Implantable Body Sensor Networks, BSN 2012

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

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

SP - 85

EP - 90

BT - Proceedings - BSN 2012

Y2 - 9 May 2012 through 12 May 2012

ER -

Health-Dev: Model based development pervasive health monitoring systems

Abstract

Publication series

Other

Keywords

ASJC Scopus subject areas

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this