Abstract
Body area networks (BANs) are networks of medical devices implanted within or worn on the human body. Analysis and verification of BAN designs require (i) early feedback on the BAN design and (ii) high-confidence evaluation of BANs without requiring any hazardous, intrusive, and costly deployment. Any design of BAN further has to ensure (i) the safety of the human body, that is, limiting any undesirable side-effects (e.g., heat dissipation) of BAN operations (involving sensing, computation, and communication among the devices) on the human body, and (ii) the sustainability of the BAN operations, that is, the continuation of the operations under constrained resources (e.g., limited battery power in the devices) without requiring any redeployments. This article uses the Model Based Engineering (MBE) approach to perform design and analysis of BANs. In this regard, first, an abstract cyber-physical model of BANs, called BAN-CPS, is proposed that captures the undesirable side-effects of the medical devices (cyber) on the human body (physical); second, a design and analysis tool, named BAND-AiDe, is developed that allows specification of BAN-CPS using industry standard Abstract Architecture Description Language (AADL) and enables safety and sustainability analysis of BANs; and third, the applicability of BAND-AiDe is shown through a case study using both single and a network of medical devices for health monitoring applications.
- Banerjee, A., Venkatasubramanian, K., and Gupta, S. 2009. Challenges of implementing cyber-physical security solutions in body area networks. In Proceedings of the International Conference on Body Area Networks. Google Scholar
Digital Library
- Chen, W., Sonntag, C., Boesten, F., Bambang Oetomo, S., and Feijs, L. 2008. A power supply design of body sensor networks for health monitoring of neonates. In Proceedings of the International Conference on Intelligent Sensors, Sensor Networks and Information Processing. 255--260.Google Scholar
- Elena, G.-M. and José, M. 2006. Argospe: Model-based software performance engineering. In Proceedings of the International Conference on Application and Theory of Petri Nets (ICATPN). 401--410. Google Scholar
Digital Library
- Greenhalgh, D. G. M., Lawless, M. B. R., Chew, B. B., Crone, W. A., Fein, M. E., and Palmieri, T. L. M. 2004. Temperature threshold for burn injury: An oximeter safety study. J. Burn Care Rehab. 25, 5, 411--415.Google Scholar
Cross Ref
- Gupta, S. K. S. 2009. A tool for designing high-confidence implantable bioSensor networks for medical monitoring. ACM SIGBED Rev. Special Issue on the 2nd Joint Workshop on High Confidence Medical Devices, Software, and Systems (HCMDSS) and Medical Device Plug-and-Play (MD PnP) Interoperability, 6, 2. Google Scholar
Digital Library
- Gyselinckx, B., Van Hoof, C., Ryckaert, J., Yazicioglu, R., Fiorini, P., and Leonov, V. 2005. Human++: Autonomous wireless sensors for body area networks. In Proceedings of the IEEE Custom Integrated Circuits Conference. 13--19.Google Scholar
- Heinzelman, W. R., Chandrakasan, A., and Balakrishnan, H. 2000. Energy-efficient communication protocol for wireless microsensor networks. In Proceedings of the IEEE Annual Hawaii International Conference on System Sciences (HICSS’00). Google Scholar
Digital Library
- Henriques, F. C. J. and Moritz, A. R. 1947. Studies of thermal injury: I. The conduction of heat to and through skin and the temperatures attained therein. A theoretical and an experimental investigation. Am. J. Pathol. 530--549.Google Scholar
- Karsai, G. and Sztipanovits, J. 2008. Model-integrated development of cyber-physical systems. In Proceedings of the 6th IFIP WG10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS’08). Lecture Notes in Computer Science, vol. 5287, Springer-Verlag, Berlin, Heidelberg, 46--54. Google Scholar
Digital Library
- Korhonen, I., Parkka, J., and Van Gils, M. 2003. Health monitoring in the home of the future. IEEE Eng. Med. Biol. Mag. 22, 3, 66--73.Google Scholar
Cross Ref
- Milenković, A., Otto, C., and Jovanov, E. 2006. Wireless sensor networks for personal health monitoring: Issues and an implementation. Comput. Commun. Special Issue on Wireless Sensor Networks: Performance, Reliability, Security, and Beyond, 29, 2521--2533. Google Scholar
Digital Library
- Mistry, P., Maes, P., and Chang, L. 2009. Wuw---wear ur world: A wearable gestural interface. In Proceedings of the International Conference on EA’09: Extended Abstracts on Human Factors in Computing Systems (CHIEA’09). ACM, New York, NY, 4111--4116. Google Scholar
Digital Library
- Natarajan, A., de Silva, B., Yap, K.-K., and Motani, M. 2009. To hop or not to hop: Network architecture for body sensor networks. In Proceedings of the IEEE International Conference on Sensor and Ad Hoc Communications and Networks (SECON’09). 1--9. Google Scholar
Digital Library
- Paradiso, J. A. and Starner, T. 2005. Energy scavenging for mobile and wireless electronics. IEEE Pervasive Comput. 4, 1, 18--27. Google Scholar
Digital Library
- Paradiso, R., Loriga, G., and Taccini, N. 2005. A wearable health care system based on knitted integrated sensors. IEEE Trans. Inf. Technol. Biomed. 9, 337--344. Google Scholar
Digital Library
- Park, G., Rosing, T., Todd, M. D., Farrar, C. R., and Hodgkiss, W. 2008. Energy harvesting for structural health monitoring sensor networks. J. Infrastruct. Syst. 14, 64--79.Google Scholar
Cross Ref
- Paul, D., Nathan, L., Bazhang, Y., Yvonne, M., and Moussy, F. 2007. Study of the effects of tissue reactions on the function of implanted glucose sensors. J. Biomed. Mater. Res. Part A, 699--706.Google Scholar
- Pennes, H. H. 1948. Analysis of tissue and arterial blood temperature in the resting human forearm. J. Appl. Physiol. vol. 1.1. 93--122.Google Scholar
- Prasad, V., Yan, T., Jayachandran, P., Li, Z., Son, S., Stankovic, J., Hansson, J., and Abdelzaher, T. 2007. Andes: An analysis-based design tool for wireless sensor networks. In Proceedings of the IEEE Real-Time Systems Symposium (RTSS’07). 203--213. Google Scholar
Digital Library
- Schwiebert, L., Gupta, S. K., and Weinmann, J. 2001. Research challenges in wireless networks of biomedical sensors. In Proceedings of the ACM Annual International Conference on Mobile Computing and Networking (MobiCom’01). ACM, New York, NY, 151--165. Google Scholar
Digital Library
- Tang, Q., Tummala, N., Gupta, S., and Schwiebert, L. 2005. Communication scheduling to minimize thermal effects of implanted biosensor networks in homogeneous tissue. IEEE Trans. Biomed. Engi. 52, 7, 1285--1294.Google Scholar
Cross Ref
- Tuinenga, P. W. 1991. Spice: A Guide to Circuit Simulation and Analysis Using PSpice. Prentice Hall PTR, Upper Saddle River, NJ. Google Scholar
Digital Library
- Venkatasubramanian, K., Deng, J., Mukherjee, T., Quintero, J., Annamalai, V., and Gupta, S. K. S. 2005. Ayushman: A wireless sensor network based health monitoring infrastructure and testbed. In Proceedings of the 1st IEEE International Conference on Distributed Computing in Sensor Systems. Lecture Notes in Computer Science, vol. 3560, Springer, Berlin, 406--407. Google Scholar
Digital Library
- Venkatasubramanian, K. K., Banerjee, A., and Gupta, S. K. S. 2008. Plethysmogram-based secure inter-sensor communication in body area networks. In Proceedings of the IEEE Military Communications Conference (MilCom’08), 1--7.Google Scholar
- Venkatasubramanian, K. K., Banerjee, A., and Gupta, S. K. S. 2009. Green and sustainable cyber-physical security solutions for body area networks. In Proceedings of the IEEE International Conference on Wearable and Implantable Body Sensor Networks (BSN’09). 240--245. Google Scholar
Digital Library
- Weininger, S., Pfefer, J., and Chang, I. 2005. Factors to consider in a risk analysis for safe surface temperature. In Proceedings of the IEEE Symposium on Product Safety Engineering. 83--91.Google Scholar
Index Terms
BAND-AiDe: A Tool for Cyber-Physical Oriented Analysis and Design of Body Area Networks and Devices
Recommendations
Signal propagation analysis in multiuser human body communication
UbiComp/ISWC '19 Adjunct: Adjunct Proceedings of the 2019 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2019 ACM International Symposium on Wearable ComputersHerein, we studied a multiuser human body communication system that uses multiple human bodies as a transmission channel when assuming data sharing among users. We evaluated electric field distributions around human bodies and transmission ...
A Novel Architecture for Efficient Key Management in Humanware Applications
NCM '09: Proceedings of the 2009 Fifth International Joint Conference on INC, IMS and IDCIn humanware applications, resource constrained sensor devices are tactically placed on human body to form Wireless Body Area Networks (WBAN). Then the WBAN is used for monitoring biometrics and movements of human body. Keeping in mind the resource ...
Analysis of the applicability of wireless sensor networks attacks to body area networks
BodyNets '13: Proceedings of the 8th International Conference on Body Area NetworksA Body Area Network (BAN) is composed by several sensors that may be implanted or placed around the human body, usually deployed for health-care applications. The sensors monitor one or more vital signs and communicate through a wireless network, ...






Comments