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 - UAVs
KW - cyber-physical systems
KW - data centers
KW - medical devices
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
T3 - ACM International Conference Proceeding Series
BT - Proceedings of the 4th International Symposium on Applied Sciences in Biomedical and Communication Technologies, ISABEL'11
T2 - 4th International Symposium on Applied Sciences in Biomedical and Communication Technologies, ISABEL'11
Y2 - 26 October 2011 through 29 October 2011
ER -