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:
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: