Books


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

BAND-AiDe is a body area network analysis and design tool developed at the IMPACT Lab at Arizona State University. Body Area Networks (BANs) are networks of medical devices implanted within or worn on the human body.

Body Area Network


Analysis and verification of BAN designs require:
  1. early feedback on the BAN design.
  2. high-confidence evaluation of BANs without requiring any hazardous, intrusive, and costly deployment.
Any design of BAN further has to ensure:
  1. the safety of the human body, i.e. limiting any undesirable side-effects (e.g. heat dissipation) of BAN operations (involving sensing, computation, and communication among the devices) on the human body.
  2. the sustainability of the BAN operations, i.e. the continuation of the operations under constrained resources (e.g. limited battery power in the devices) without requiring any re-deployments.

BAND-AiDe tool architecture


In this project, we use the Model Based Engineering (MBE) approach to perform design and analysis of BANs. We propose an abstract cyber-physical model of BANs, called BAN-CPS, that captures the undesirable side-effects of the medical devices (cyber) on the human body (physical). BAND-AiDe uses this BAN-CPS modeling, to design and analysis BANs with respect to requirements.At the front end of BAND-Aide is an intuitive specification framework of BANs based on the BAN-CPS modeling. The specification framework is built using industry standard Abstract Architecture Description Language (AADL). The BAND-Aide analyzer, a java plug-in then enables safety and sustainability analysis of BANs. For more information please refer to our paper in TECS 2012.

BAN-CPS: BAN as a Global Cyber-Physical System(CPS)

Model based engineering methodology

Hierarchical view of the generic constructs to model BAN-CPS


BAND-AiDe tool example:
  1. Download the tool: http://impact.asu.edu/BandAide/AnnexV2_1.0.0.jar
  2. Download the sample specification file: http://impact.asu.edu/BandAide/cpsTestV4.aadl
  3. Copy and paste the jar file in your eclipse work directory and add it to the new AADL project.
  4. Use the sample AADL file to specify a BAN model and use the analyzer plug-in to perform thermal safety analysis.


    Home | Projects | People | Publications | Courses | Resources | Books | News & Visitors | Contact