Health-Dev: Model based development pervasive health monitoring systems

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

Volumn , Issue , 2012, Pages 85-90

  Banerjee, Ayan ^a   Verma, Sunit ^a   Bagade, Priyanka ^a   Gupta, Sandeep K S ^a  

^a ARIZONA STATE UNIVERSITY   (United States)

Author keywords

AADL; automatic code generation; body sensor network; pervasive health monitoring system; smart phone

Indexed keywords

AADL; AUTOMATIC CODE GENERATIONS; DESIGN PHASE; DYNAMIC CONTEXTS; HEALTH MONITORING SYSTEM; HIGH LEVEL SPECIFICATION; MEDICAL SENSORS; MOBILITY-AWARE; MODEL BASED DEVELOPMENT; NETWORK RELIABILITY; USER MOBILITY;

DESIGN; ENERGY EFFICIENCY; ENERGY UTILIZATION; MONITORING; SENSORS; SMARTPHONES;

BODY SENSOR NETWORKS;

EID: 84862280954     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/BSN.2012.33     Document Type: Conference Paper

References (13)

1. K. Venkatasubramanian, G. Deng, T. Mukherjee, J. Quintero, V. Annamalai, and S. Gupta, "Ayushman: A wireless sensor network based health monitoring infrastructure and testbed," in Distributed Computing in Sensor Systems, vol. 3560. Springer Berlin / Heidelberg, 2005.
2. A. Banerjee, S. Kandula, T. Mukherjee, and S. K. S. Gupta, "BAND-AiDe: A tool for cyber-physical oriented analysis and design of body area networks and devices," ACM Trans. on Embedded Computing Systems, Special issue on Wireless Health Systems, To appear.
3. V. M. Jones, A. Rensink, T. C. Ruys, H. Brinksma, and A. T. van Halteren, "A formal MDA approach for mobile health systems," in 2nd European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations, D. H. Akehurst, Ed., no. TR 17-04. Canterbury: University of Kent, 2004, pp. 28-35.
4. V. Prasad, T. Yang, P. Jayachandran, Z. Li, S. H. Son, J. A. Stankovic, J. Hansson, and T. Abdelzaher, "ANDES: An ANalysis-Based DEsign tool for wireless Sensor networks," in Real-Time Systems Symposium, 2007. RTSS 2007. 28th IEEE International, Dec. 2007, pp. 203-213.
5. S. Nabar, A. Banerjee, S. K. S. Gupta, and R. Poovendran, "Evaluation of body sensor network platforms: a design space and benchmarking analysis," in Wireless Health 2010. New York, NY, USA: ACM, 2010, pp. 118-127.
6. X. Chen, A. Waluyo, I. Pek, and W.-S. Yeoh, "Mobile middleware for wireless body area network," in Engineering in Medicine and Biology Society (EMBC), 2010 Annual International Conference of the IEEE, 2010, pp. 5504-5507.
7. G. Fortino, A. Guerrieri, F. Bellifemine, and R. Giannantonio, "SPINE2: developing BSN applications on heterogeneous sensor nodes," in Industrial Embedded Systems, 2009. SIES '09. IEEE International Symposium on, july 2009, pp. 128-131.
8. M. Mozumdar, F. Gregoretti, L. Lavagno, L. Vanzago, and S. Olivieri, "A framework for modeling, simulation and automatic code generation of sensor network application," in IEEE Sensor, Mesh and Ad Hoc Communications and Networks, 2008. SECON '08., june 2008, pp. 515-522.
9. J. B. Lim, B. Jang, S. Yoon, M. L. Sichitiu, and A. G. Dean, "RaPTEX: Rapid prototyping tool for embedded communication systems," ACM Trans. Sen. Netw., vol. 7, August 2010.
10. E. Cheong, E. A. Lee, and Y. Zhao, "Viptos: a graphical development and simulation environment for TinyOS-based wireless sensor networks," in 3rd int'l conf. Embedded networked sensor systems, SenSys '05. New York, NY, USA: ACM, 2005, pp. 302-302.
11. W. P. McCartney and N. Sridhar, "Tosdev: a rapid development environment for TinyOS," in 4th int'l conf. on Embedded networked sensor systems, SenSys '06. New York, NY, USA: ACM, 2006, pp. 387-388.
12. http://math.nist.gov/mcsd/savg/papers/15-08-0780-09-0006-tg6- channelmodel.pdf.
13. I. Rhee, M. Shin, S. Hong, K. Lee, and S. Chong, "On the Levy-Walk nature of human mobility," in INFOCOM 2008. The 27th Conference on Computer Communications. IEEE, april 2008, pp. 924-932.