Research challenges in wireless networks of biomedical sensors
Proceedings of the 7th annual international conference on Mobile computing and networking
Spice: A Guide to Circuit Simulation and Analysis Using PSpice
Spice: A Guide to Circuit Simulation and Analysis Using PSpice
Energy-Efficient Communication Protocol for Wireless Microsensor Networks
HICSS '00 Proceedings of the 33rd Hawaii International Conference on System Sciences-Volume 8 - Volume 8
Energy Scavenging for Mobile and Wireless Electronics
IEEE Pervasive Computing
ANDES: An ANalysis-Based DEsign Tool for Wireless Sensor Networks
RTSS '07 Proceedings of the 28th IEEE International Real-Time Systems Symposium
Model-Integrated Development of Cyber-Physical Systems
SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems
WUW - wear Ur world: a wearable gestural interface
CHI '09 Extended Abstracts on Human Factors in Computing Systems
Green and Sustainable Cyber-Physical Security Solutions for Body Area Networks
BSN '09 Proceedings of the 2009 Sixth International Workshop on Wearable and Implantable Body Sensor Networks
Wireless sensor networks for personal health monitoring: Issues and an implementation
Computer Communications
Challenges of implementing cyber-physical security solutions in body area networks
BodyNets '09 Proceedings of the Fourth International Conference on Body Area Networks
To hop or not to hop: network architecture for body sensor networks
SECON'09 Proceedings of the 6th Annual IEEE communications society conference on Sensor, Mesh and Ad Hoc Communications and Networks
A tool for designing high-confidence implantable biosensor networks for medical monitoring
ACM SIGBED Review - 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
Ayushman: a wireless sensor network based health monitoring infrastructure and testbed
DCOSS'05 Proceedings of the First IEEE international conference on Distributed Computing in Sensor Systems
ArgoSPE: model-based software performance engineering
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
A wearable health care system based on knitted integrated sensors
IEEE Transactions on Information Technology in Biomedicine
Toward autonomous vehicle safety verification from mobile cyber-physical systems perspective
ACM SIGBED Review - Work-in-Progress (WiP) Session of the 2nd International Conference on Cyber Physical Systems
A Unified Methodology for Scheduling in Distributed Cyber-Physical Systems
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on CAPA'09, Special Section on WHS'09, and Special Section VCPSS' 09
Perceptual control architecture for cyber-physical systems in traffic incident management
Journal of Systems Architecture: the EUROMICRO Journal
Spatio-temporal hybrid automata for safe cyber-physical systems: a medical case study
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems
Towards a framework for safety analysis of body sensor networks
BodyNets '13 Proceedings of the 8th International Conference on Body Area Networks
Hi-index | 0.00 |
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.