TY - GEN
T1 - A treatment validation protocol for cyber-physical-human medical systems
AU - Wu, Po Liang
AU - Raguraman, Dhashrath
AU - Sha, Lui
AU - Berlin, Richard B.
AU - Goldman, Julian M.
N1 - Publisher Copyright:
© 2014 IEEE.
PY - 2014/10/17
Y1 - 2014/10/17
N2 - In cyber-physical-human medical environments, coordinating supervisory medical systems and medical staff to perform treatments in in accordance with best practice is essential for patient safety. However, the dynamics of patient conditions and the non-deterministic nature of potential side effects of treatments pose significant challenges. In this paper, we propose a validation protocol to enforce the correct execution sequence of performing treatment, regarding preconditions validation, side effects monitoring, and expected responses checking based on the path physiological models. The proposed protocol organizes the medical information concisely and comprehensively to help medical staff validate treatments. Unlike traditional validation mechanism for cyber systems, the medical system cannot lock or rollback the states of physical components, such as patient conditions. Therefore, the proposed protocol dynamically adapts to the patient conditions and side effects of treatments. Moreover, a cardiac arrest scenario is used as a case study to verify the safety and correctness properties of the proposed protocol.
AB - In cyber-physical-human medical environments, coordinating supervisory medical systems and medical staff to perform treatments in in accordance with best practice is essential for patient safety. However, the dynamics of patient conditions and the non-deterministic nature of potential side effects of treatments pose significant challenges. In this paper, we propose a validation protocol to enforce the correct execution sequence of performing treatment, regarding preconditions validation, side effects monitoring, and expected responses checking based on the path physiological models. The proposed protocol organizes the medical information concisely and comprehensively to help medical staff validate treatments. Unlike traditional validation mechanism for cyber systems, the medical system cannot lock or rollback the states of physical components, such as patient conditions. Therefore, the proposed protocol dynamically adapts to the patient conditions and side effects of treatments. Moreover, a cardiac arrest scenario is used as a case study to verify the safety and correctness properties of the proposed protocol.
KW - medical cyber-physical-human systems
KW - treatment validation
UR - http://www.scopus.com/inward/record.url?scp=84916593441&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84916593441&partnerID=8YFLogxK
U2 - 10.1109/SEAA.2014.10
DO - 10.1109/SEAA.2014.10
M3 - Conference contribution
AN - SCOPUS:84916593441
T3 - Proceedings - 40th Euromicro Conference Series on Software Engineering and Advanced Applications, SEAA 2014
SP - 183
EP - 190
BT - Proceedings - 40th Euromicro Conference Series on Software Engineering and Advanced Applications, SEAA 2014
A2 - Rabiser, Rick
A2 - Torkar, Richard
A2 - Torkar, Richard
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 40th Euromicro Conference Series on Software Engineering and Advanced Applications, SEAA 2014
Y2 - 27 August 2014 through 29 August 2014
ER -