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

A Treatment Validation Protocol for Cyber-Physical-Human Medical Systems
复制标题

DOI:
10.1109/seaa.2014.10
复制
发表时间:
2014-08
期刊:
2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications
影响因子:
--
通讯作者:
Po-Liang Wu;Dhashrath Raguraman;L. Sha;Richard B. Berlin;J. Goldman
Po-Liang Wu;Dhashrath Raguraman;L. Sha;Richard B. Berlin;J. Goldman
中科院分区:
其他
文献类型:
--
作者:
Po-Liang Wu;Dhashrath Raguraman;L. Sha;Richard B. Berlin;J. Goldman

文献摘要

被引文献

相似文献

在网络-物理-人类医疗环境中,协调监督医疗系统和医务人员根据最佳实践进行治疗对患者安全至关重要。然而,患者状况的动态和治疗的潜在副作用的不确定性性质构成了重大挑战。在本文中,我们提出了一个验证协议,以执行正确的执行顺序进行治疗,关于前提条件验证,副作用监测,并根据路径生理模型的预期反应检查。所提出的协议组织的医疗信息简洁和全面,以帮助医务人员验证治疗。与网络系统的传统验证机制不同,医疗系统无法锁定或回滚物理组件的状态,例如患者状况。因此,所提出的协议动态地适应患者的条件和治疗的副作用。此外,一个心脏骤停的情况下,被用来作为一个案例研究,以验证所提出的协议的安全性和正确性。
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.