A Treatment Validation Protocol for Cyber-Physical-Human Medical Systems

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.