Model-Driven Safety Analysis of Closed-Loop Medical Systems.
Model-Driven Safety Analysis of Closed-Loop Medical Systems.
复制标题
DOI：
10.1109/tii.2012.2226594
复制
发表时间：
2012-10-26
影响因子：
12.3
通讯作者：
Lee I
中科院分区：
文献类型：
--
作者：
Pajic M;Mangharam R;Sokolsky O;Arney D;Goldman J;Lee I
在现代医院中，患者使用各种医疗设备进行治疗，这些设备越来越多地通过网络相互交互，从而提供了网络物理系统的完美示例。我们研究了药物输注生理闭环控制医疗器械系统的安全性。本文的主要贡献是闭环医疗器械系统安全特性的验证方法。我们证明，使用一个案例研究，该方法可以应用到一个系统的临床重要性。我们的方法结合了基于模拟的详细模型的系统，其中包含连续的病人动态模型检查一个更抽象的时间自动机模型的分析。我们发现，这两个模型之间的关系保留了时间行为的关键方面，确保了安全分析的保守性。我们还描述了系统设计，可以提供网络故障下的开环安全。
In modern hospitals, patients are treated using a wide array of medical devices that are increasingly interacting with each other over the network, thus offering a perfect example of a cyber-physical system. We study the safety of a medical device system for the physiologic closed-loop control of drug infusion. The main contribution of the paper is the verification approach for the safety properties of closed-loop medical device systems. We demonstrate, using a case study, that the approach can be applied to a system of clinical importance. Our method combines simulation-based analysis of a detailed model of the system that contains continuous patient dynamics with model checking of a more abstract timed automata model. We show that the relationship between the two models preserves the crucial aspect of the timing behavior that ensures the conservativeness of the safety analysis. We also describe system design that can provide open-loop safety under network failure.