@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",
note = "Copyright: Copyright 2012 Elsevier B.V., All rights reserved.; 9th International Workshop on Wearable and Implantable Body Sensor Networks, BSN 2012 ; Conference date: 09-05-2012 Through 12-05-2012",
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",
}