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 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 languageEnglish (US)
Title of host publicationProceedings - BSN 2012
Subtitle of host publication9th 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

Publication series

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

Other

Other9th International Workshop on Wearable and Implantable Body Sensor Networks, BSN 2012
CountryUnited Kingdom
CityLondon
Period5/9/125/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

Fingerprint Dive into the research topics of 'Health-Dev: Model based development pervasive health monitoring systems'. Together they form a unique fingerprint.

  • 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