skip to main content
research-article

BAND-AiDe: A Tool for Cyber-Physical Oriented Analysis and Design of Body Area Networks and Devices

Published:01 August 2012Publication History
Skip Abstract Section

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.

References

  1. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  2. 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 ScholarGoogle Scholar
  3. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  4. 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 ScholarGoogle ScholarCross RefCross Ref
  5. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  6. 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 ScholarGoogle Scholar
  7. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  8. 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 ScholarGoogle Scholar
  9. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  10. 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 ScholarGoogle ScholarCross RefCross Ref
  11. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  12. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  13. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  14. Paradiso, J. A. and Starner, T. 2005. Energy scavenging for mobile and wireless electronics. IEEE Pervasive Comput. 4, 1, 18--27. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  16. 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 ScholarGoogle ScholarCross RefCross Ref
  17. 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 ScholarGoogle Scholar
  18. 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 ScholarGoogle Scholar
  19. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  20. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  21. 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 ScholarGoogle ScholarCross RefCross Ref
  22. Tuinenga, P. W. 1991. Spice: A Guide to Circuit Simulation and Analysis Using PSpice. Prentice Hall PTR, Upper Saddle River, NJ. Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  24. 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 ScholarGoogle Scholar
  25. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  26. 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 ScholarGoogle Scholar

Index Terms

  1. BAND-AiDe: A Tool for Cyber-Physical Oriented Analysis and Design of Body Area Networks and Devices

        Recommendations

        Comments

        Login options

        Check if you have access through your login credentials or your institution to get full access on this article.

        Sign in

        Full Access

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader
        About Cookies On This Site

        We use cookies to ensure that we give you the best experience on our website.

        Learn more

        Got it!