Towards modeling and analysis of cyber-physical medical systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Citations (Scopus)

Abstract

Contemporary health care systems are increasingly incorporating medical sensors and automatically controlled actuation devices to deliver smart and proactive health services. The embedded devices used in this regard continuously interact with the human body or patient either through sensing of physiological signals or through the execution of critical medical actuation such as drug delivery. Given the high risks in their deployment, patient safety during operation of these Cyber-Physical Medical Systems (CPMSes) has to be guaranteed even before use. This paper proposes CPS-MAS, a cyber-physical medical system modeling and analysis framework for safety verification. However, given the complex nature of interaction of the medical devices with the human body, characterized by non-linearity, transport delay, spatio-temporal effects, and nontrivial aggregation of interaction during networked operation of devices, such modeling and analysis is a challenging problem. The paper describes an approach to formal modeling and analysis of CPMSes with the help of two examples related to analgesic drug delivery and chemotherapy.

Original languageEnglish (US)
Title of host publicationACM International Conference Proceeding Series
DOIs
StatePublished - 2011
Event4th International Symposium on Applied Sciences in Biomedical and Communication Technologies, ISABEL'11 - Barcelona, Spain
Duration: Oct 26 2011Oct 29 2011

Other

Other4th International Symposium on Applied Sciences in Biomedical and Communication Technologies, ISABEL'11
CountrySpain
CityBarcelona
Period10/26/1110/29/11

Fingerprint

Drug delivery
Chemotherapy
Health care
Agglomeration
Health
Sensors

Keywords

  • cyber-physical systems
  • data centers
  • medical devices
  • UAVs

ASJC Scopus subject areas

  • Human-Computer Interaction
  • Computer Networks and Communications
  • Computer Vision and Pattern Recognition
  • Software

Cite this

Towards modeling and analysis of cyber-physical medical systems. / Banerjee, Ayan; Gupta, Sandeep; Fainekos, Georgios; Varsamopoulos, Georgios.

ACM International Conference Proceeding Series. 2011.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Banerjee, A, Gupta, S, Fainekos, G & Varsamopoulos, G 2011, Towards modeling and analysis of cyber-physical medical systems. in ACM International Conference Proceeding Series. 4th International Symposium on Applied Sciences in Biomedical and Communication Technologies, ISABEL'11, Barcelona, Spain, 10/26/11. https://doi.org/10.1145/2093698.2093852
Banerjee, Ayan ; Gupta, Sandeep ; Fainekos, Georgios ; Varsamopoulos, Georgios. / Towards modeling and analysis of cyber-physical medical systems. ACM International Conference Proceeding Series. 2011.
@inproceedings{955ac67cfcae467ca648018fb1711752,
title = "Towards modeling and analysis of cyber-physical medical systems",
abstract = "Contemporary health care systems are increasingly incorporating medical sensors and automatically controlled actuation devices to deliver smart and proactive health services. The embedded devices used in this regard continuously interact with the human body or patient either through sensing of physiological signals or through the execution of critical medical actuation such as drug delivery. Given the high risks in their deployment, patient safety during operation of these Cyber-Physical Medical Systems (CPMSes) has to be guaranteed even before use. This paper proposes CPS-MAS, a cyber-physical medical system modeling and analysis framework for safety verification. However, given the complex nature of interaction of the medical devices with the human body, characterized by non-linearity, transport delay, spatio-temporal effects, and nontrivial aggregation of interaction during networked operation of devices, such modeling and analysis is a challenging problem. The paper describes an approach to formal modeling and analysis of CPMSes with the help of two examples related to analgesic drug delivery and chemotherapy.",
keywords = "cyber-physical systems, data centers, medical devices, UAVs",
author = "Ayan Banerjee and Sandeep Gupta and Georgios Fainekos and Georgios Varsamopoulos",
year = "2011",
doi = "10.1145/2093698.2093852",
language = "English (US)",
isbn = "9781450309134",
booktitle = "ACM International Conference Proceeding Series",

}

TY - GEN

T1 - Towards modeling and analysis of cyber-physical medical systems

AU - Banerjee, Ayan

AU - Gupta, Sandeep

AU - Fainekos, Georgios

AU - Varsamopoulos, Georgios

PY - 2011

Y1 - 2011

N2 - Contemporary health care systems are increasingly incorporating medical sensors and automatically controlled actuation devices to deliver smart and proactive health services. The embedded devices used in this regard continuously interact with the human body or patient either through sensing of physiological signals or through the execution of critical medical actuation such as drug delivery. Given the high risks in their deployment, patient safety during operation of these Cyber-Physical Medical Systems (CPMSes) has to be guaranteed even before use. This paper proposes CPS-MAS, a cyber-physical medical system modeling and analysis framework for safety verification. However, given the complex nature of interaction of the medical devices with the human body, characterized by non-linearity, transport delay, spatio-temporal effects, and nontrivial aggregation of interaction during networked operation of devices, such modeling and analysis is a challenging problem. The paper describes an approach to formal modeling and analysis of CPMSes with the help of two examples related to analgesic drug delivery and chemotherapy.

AB - Contemporary health care systems are increasingly incorporating medical sensors and automatically controlled actuation devices to deliver smart and proactive health services. The embedded devices used in this regard continuously interact with the human body or patient either through sensing of physiological signals or through the execution of critical medical actuation such as drug delivery. Given the high risks in their deployment, patient safety during operation of these Cyber-Physical Medical Systems (CPMSes) has to be guaranteed even before use. This paper proposes CPS-MAS, a cyber-physical medical system modeling and analysis framework for safety verification. However, given the complex nature of interaction of the medical devices with the human body, characterized by non-linearity, transport delay, spatio-temporal effects, and nontrivial aggregation of interaction during networked operation of devices, such modeling and analysis is a challenging problem. The paper describes an approach to formal modeling and analysis of CPMSes with the help of two examples related to analgesic drug delivery and chemotherapy.

KW - cyber-physical systems

KW - data centers

KW - medical devices

KW - UAVs

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

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

U2 - 10.1145/2093698.2093852

DO - 10.1145/2093698.2093852

M3 - Conference contribution

AN - SCOPUS:84863044349

SN - 9781450309134

BT - ACM International Conference Proceeding Series

ER -