Electronic Communications of the EASST Volume 45 ( 2011 ) Proceedings of the Fourth International Workshop on Formal Methods for Interactive Systems ( FMIS 2011 ) Modelling and analysing the interactive behaviour of an infusion pump
Electronic Communications of the EASST Volume 45 ( 2011 ) Proceedings of the Fourth International Workshop on Formal Methods for Interactive Systems ( FMIS 2011 ) Modelling and analysing the interactive behaviour of an infusion pump
复制标题
EASST 电子通信第 45 卷 (2011) 第四届交互系统形式方法国际研讨会论文集 (FMIS 2011) 输液泵交互行为建模和分析
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
M. Harrison
中科院分区：
文献类型：
--
作者：
J. C. Campos;M. Harrison
本文研究交互系统的可伸缩性和系统性分析。激励的问题是医疗器械的采购。在这种情况下，几家不同的制造商提供支持特定临床活动的解决方案。除了成本这一主导因素外，设备之间的差异相对微妙，从制造商的手册、演示或试用来看，特定设计功能的后果并不清楚。尽管它们很微妙，但这些差异对设备的安全性和可用性可能很重要。本文认为，对所提供的设备范围进行正式分析可以提供一种系统的比较手段。本文还探讨了使用这些技术的障碍，演示了如何使用规范层来使重用公共规范成为可能。输液泵提供了一个鼓舞人心的例子。对一个具体的模型进行了描述和分析，并对各种竞争手段进行了比较。
This paper is concerned with the scaleable and systematic analysis of interactive systems. The motivating problem is the procurement of medical devices. In such situations several different manufacturers offer solutions that support a particular clinical activity. Apart from cost, which is a dominating factor, the variations between devices are relatively subtle and the consequences of particular design features are not clear from manufacturers’ manuals, demonstrations or trial uses. Despite their subtlety these differences can be important to the safety and usability of the device. The paper argues that formal analysis of the range of offered devices can provide a systematic means of comparison. The paper also explores barriers to the use of such techniques, demonstrating how layers of specification may be used to make it possible to reuse common specification. Infusion pumps provide a motivating example. A specific model is described and analysed and comparison between competitive devices is discussed.
验证引导的显着性和认知负荷建模
影响因子：
1
作者：
Rukšenas R
通讯作者：
Rukšenas R