Title :
Health-Dev: Model Based Development Pervasive Health Monitoring Systems
Author :
Banerjee, Ayan ; Verma, Sunit ; Bagade, Priyanka ; Gupta, Sandeep K S
Author_Institution :
Sch. of Comput. Inf. Decision Syst. Eng., Arizona State Univ., Tempe, AZ, USA
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 :
body sensor networks; patient monitoring; smart phones; body sensor networks; body worn medical sensors; energy efficiency; mobility aware network reliability; pervasive health monitoring systems; smart phones; Generators; Hardware; Intelligent sensors; Signal processing algorithms; Smart phones; Temperature sensors; AADL; automatic code generation; body sensor network; pervasive health monitoring system; smart phone;
Conference_Titel :
Wearable and Implantable Body Sensor Networks (BSN), 2012 Ninth International Conference on
Conference_Location :
London
Print_ISBN :
978-1-4673-1393-3
DOI :
10.1109/BSN.2012.33
