BAND-AiDe: A tool for cyber-physical oriented analysis and design of body area networks and devices

Ayan Banerjee, Sailesh Kandula, Tridib Mukherjee, Sandeep Gupta

Research output: Contribution to journalArticle

20 Citations (Scopus)

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) highconfidence 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 BANCPS, 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.

Original languageEnglish (US)
Article number49
JournalTransactions on Embedded Computing Systems
Volume11
Issue numberSUPPL. 2
DOIs
StatePublished - Aug 2012

Fingerprint

Sustainable development
Heat losses
Health
Specifications
Feedback
Monitoring
Communication
Industry

Keywords

  • AADL
  • Body area networks
  • Model-based engineering
  • Wireless health systems

ASJC Scopus subject areas

  • Hardware and Architecture
  • Software

Cite this

BAND-AiDe : A tool for cyber-physical oriented analysis and design of body area networks and devices. / Banerjee, Ayan; Kandula, Sailesh; Mukherjee, Tridib; Gupta, Sandeep.

In: Transactions on Embedded Computing Systems, Vol. 11, No. SUPPL. 2, 49, 08.2012.

Research output: Contribution to journalArticle

@article{8b7fbcd252844df29b5c690a2519e382,
title = "BAND-AiDe: A tool for cyber-physical oriented analysis and design of body area networks and devices",
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) highconfidence 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 BANCPS, 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.",
keywords = "AADL, Body area networks, Model-based engineering, Wireless health systems",
author = "Ayan Banerjee and Sailesh Kandula and Tridib Mukherjee and Sandeep Gupta",
year = "2012",
month = "8",
doi = "10.1145/2331147.2331159",
language = "English (US)",
volume = "11",
journal = "ACM Transactions on Embedded Computing Systems",
issn = "1539-9087",
publisher = "Association for Computing Machinery (ACM)",
number = "SUPPL. 2",

}

TY - JOUR

T1 - BAND-AiDe

T2 - A tool for cyber-physical oriented analysis and design of body area networks and devices

AU - Banerjee, Ayan

AU - Kandula, Sailesh

AU - Mukherjee, Tridib

AU - Gupta, Sandeep

PY - 2012/8

Y1 - 2012/8

N2 - 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) highconfidence 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 BANCPS, 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.

AB - 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) highconfidence 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 BANCPS, 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.

KW - AADL

KW - Body area networks

KW - Model-based engineering

KW - Wireless health systems

UR - http://www.scopus.com/inward/record.url?scp=84867135820&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84867135820&partnerID=8YFLogxK

U2 - 10.1145/2331147.2331159

DO - 10.1145/2331147.2331159

M3 - Article

AN - SCOPUS:84867135820

VL - 11

JO - ACM Transactions on Embedded Computing Systems

JF - ACM Transactions on Embedded Computing Systems

SN - 1539-9087

IS - SUPPL. 2

M1 - 49

ER -