模型与整合医疗资源可用性以构建可验证的可执行医疗指南 - 技术报告
Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines - Technical Report
AI总结：
本文提出了一种方法，通过显式和独立地建模医疗资源可用性，并自动将其整合到现有的基于状态图的计算机化医疗指南模型中，以构建可验证的可执行医疗指南。
摘要：
提高患者护理的有效性和安全性是医疗网络物理系统的目标。最近的一项研究表明，通过计算机化医疗指南可以降低患者的死亡率。大多数现有的医疗指南模型都是基于假设所有必要的医疗资源始终可用来验证和/或验证的。然而，现实情况是，一些医疗资源，如特殊医疗设备或医疗专家，可能暂时对个别患者不可用。在这种情况下，现有医疗指南模型中未考虑医疗资源可用性的安全属性可能不再成立。本文认为，在构建可验证的可执行医疗指南时考虑医疗资源可用性是必要的。我们提出了一种方法，显式和独立地建模医疗资源可用性，并自动将资源可用性模型整合到现有的基于状态图的计算机化医疗指南模型中。这种方法需要对现有医疗指南模型进行最小的修改，以考虑医疗资源可用性来验证和验证医疗指南模型。一个简化中风场景被用作案例研究，以调查我们方法的有效性和有效性。
英文摘要：
Improving effectiveness and safety of patient care is an ultimate objective for medical cyber-physical systems. A recent study shows that the patients' death rate can be reduced by computerizing medical guidelines. Most existing medical guideline models are validated and/or verified based on the assumption that all necessary medical resources needed for a patient care are always available. However, the reality is that some medical resources, such as special medical equipment or medical specialists, can be temporarily unavailable for an individual patient. In such cases, safety properties validated and/or verified in existing medical guideline models without considering medical resource availability may not hold any more. The paper argues that considering medical resource availability is essential in building verifiably correct executable medical guidelines. We present an approach to explicitly and separately model medical resource availability and automatically integrate resource availability models into an existing statechart-based computerized medical guideline model. This approach requires minimal change in existing medical guideline models to take into consideration of medical resource availability in validating and verifying medical guideline models. A simplified stroke scenario is used as a case study to investigate the effectiveness and validity of our approach.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
