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: 9th International Workshop on Wearable and Implantable Body Sensor Networks |
| Pages | 85-90 |
| Number of pages | 6 |
| DOIs | |
| 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 |
Other
| Other | 9th International Workshop on Wearable and Implantable Body Sensor Networks, BSN 2012 |
|---|---|
| Country | United Kingdom |
| City | London |
| Period | 5/9/12 → 5/12/12 |
Fingerprint
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
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 proceeding › Conference contribution
}
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 -