Health-Dev: Model Based Development Pervasive Health Monitoring Systems. Banerjee, A., Verma, S., Bagade, P., & Gupta, S., K., S. In Proceedings of the International Conference on Wearable and Implantable Body Sensor Networks (BSN), 5, 2012. ![Health-Dev: Model Based Development Pervasive Health Monitoring Systems [link]](https://bibbase.org/img/filetypes/link.svg "link")
Website abstract bibtex 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.
@inProceedings{
title = {Health-Dev: Model Based Development Pervasive Health Monitoring Systems},
type = {inProceedings},
year = {2012},
identifiers = {[object Object]},
keywords = {amulet,ban,basn,cns2012,code-generation,framework,modelling,summarized},
websites = {http://dx.doi.org/10.1109/BSN.2012.33},
month = {5},
id = {6d9070b0-ca35-3c49-832d-6fdadbfb8525},
created = {2018-07-12T21:30:50.080Z},
file_attached = {false},
profile_id = {f954d000-ce94-3da6-bd26-b983145a920f},
group_id = {b0b145a3-980e-3ad7-a16f-c93918c606ed},
last_modified = {2018-07-12T21:30:50.080Z},
read = {false},
starred = {false},
authored = {false},
confirmed = {true},
hidden = {false},
citation_key = {banerjee2012health-dev},
source_type = {inproceedings},
private_publication = {false},
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.},
bibtype = {inProceedings},
author = {Banerjee, Ayan and Verma, Sunit and Bagade, Priyanka and Gupta, Sandeep K S},
booktitle = {Proceedings of the International Conference on Wearable and Implantable Body Sensor Networks (BSN)}
}
Downloads: 0
{"_id":"hyZGXXTPnGKdxM3hb","bibbaseid":"banerjee-verma-bagade-gupta-healthdevmodelbaseddevelopmentpervasivehealthmonitoringsystems-2012","downloads":0,"creationDate":"2019-02-15T15:14:57.391Z","title":"Health-Dev: Model Based Development Pervasive Health Monitoring Systems","author_short":["Banerjee, A.","Verma, S.","Bagade, P.","Gupta, S., K., S."],"year":2012,"bibtype":"inProceedings","biburl":null,"bibdata":{"title":"Health-Dev: Model Based Development Pervasive Health Monitoring Systems","type":"inProceedings","year":"2012","identifiers":"[object Object]","keywords":"amulet,ban,basn,cns2012,code-generation,framework,modelling,summarized","websites":"http://dx.doi.org/10.1109/BSN.2012.33","month":"5","id":"6d9070b0-ca35-3c49-832d-6fdadbfb8525","created":"2018-07-12T21:30:50.080Z","file_attached":false,"profile_id":"f954d000-ce94-3da6-bd26-b983145a920f","group_id":"b0b145a3-980e-3ad7-a16f-c93918c606ed","last_modified":"2018-07-12T21:30:50.080Z","read":false,"starred":false,"authored":false,"confirmed":"true","hidden":false,"citation_key":"banerjee2012health-dev","source_type":"inproceedings","private_publication":false,"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.","bibtype":"inProceedings","author":"Banerjee, Ayan and Verma, Sunit and Bagade, Priyanka and Gupta, Sandeep K S","booktitle":"Proceedings of the International Conference on Wearable and Implantable Body Sensor Networks (BSN)","bibtex":"@inProceedings{\n title = {Health-Dev: Model Based Development Pervasive Health Monitoring Systems},\n type = {inProceedings},\n year = {2012},\n identifiers = {[object Object]},\n keywords = {amulet,ban,basn,cns2012,code-generation,framework,modelling,summarized},\n websites = {http://dx.doi.org/10.1109/BSN.2012.33},\n month = {5},\n id = {6d9070b0-ca35-3c49-832d-6fdadbfb8525},\n created = {2018-07-12T21:30:50.080Z},\n file_attached = {false},\n profile_id = {f954d000-ce94-3da6-bd26-b983145a920f},\n group_id = {b0b145a3-980e-3ad7-a16f-c93918c606ed},\n last_modified = {2018-07-12T21:30:50.080Z},\n read = {false},\n starred = {false},\n authored = {false},\n confirmed = {true},\n hidden = {false},\n citation_key = {banerjee2012health-dev},\n source_type = {inproceedings},\n private_publication = {false},\n 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.},\n bibtype = {inProceedings},\n author = {Banerjee, Ayan and Verma, Sunit and Bagade, Priyanka and Gupta, Sandeep K S},\n booktitle = {Proceedings of the International Conference on Wearable and Implantable Body Sensor Networks (BSN)}\n}","author_short":["Banerjee, A.","Verma, S.","Bagade, P.","Gupta, S., K., S."],"urls":{"Website":"http://dx.doi.org/10.1109/BSN.2012.33"},"bibbaseid":"banerjee-verma-bagade-gupta-healthdevmodelbaseddevelopmentpervasivehealthmonitoringsystems-2012","role":"author","keyword":["amulet","ban","basn","cns2012","code-generation","framework","modelling","summarized"],"downloads":0},"search_terms":["health","dev","model","based","development","pervasive","health","monitoring","systems","banerjee","verma","bagade","gupta"],"keywords":["amulet","ban","basn","cns2012","code-generation","framework","modelling","summarized"],"authorIDs":[]}