The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps
The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps
复制标题
形式化设计指南的好处：药物输注泵可预测性的案例研究
DOI：
10.1007/s11334-013-0200-4
复制
发表时间：
2013
影响因子：
1.2
通讯作者：
Masci P
中科院分区：
文献类型：
--
作者：
Masci P
演示了如何使用自动推理工具来检查用户界面的可预测性。可预测性涉及用户可靠地确定其操作结果的能力。在医院病房等情况下，医疗设备被其专家用户（临床医生）认为是可靠的设备，他们经常被打断，需要快速准确地继续执行任务，这一点尤为重要。可预测性有几种形式。考虑一个定义，其中信息仅从系统的当前可感知输出推断出来。在这个定义中，用户不需要记住导致当前状态的操作历史。高阶逻辑用于指定可预测性，符号分析实验室用于自动验证两个商业药物输注泵的真实交互式数字输入系统的可预测性，这些设备用于医疗保健领域，以控制量将液体（例如药物，营养物质）输送到患者体内。不可预测的领域通过分析被精确地识别出来。经过验证的解决方案通过设计修改和经过验证的用户策略来缓解已确定的问题，从而使不可预测的系统变得可预测。
A demonstration is presented of how automated reasoning tools can be used to check thepredictability of a user interface. Predictability concerns the ability of a user to determine the outcomes of their actions reliably. It is especially important in situations such as a hospital ward where medical devices are assumed to be reliable devices by their expert users (clinicians) who are frequently interrupted and need to quickly and accurately continue a task. There are several forms of predictability. A definition is considered where information is only inferred from the current perceptible output of the system. In this definition, the user is not required to remember the history of actions that led to the current state. Higher-order logic is used to specify predictability, and the Symbolic Analysis Laboratory is used to automatically verify predictability on real interactive number entry systems of two commercial drug infusion pumps—devices used in the healthcare domain to deliver fluids (e.g., medications, nutrients) into a patient’s body in controlled amounts. Areas of unpredictability are precisely identified with the analysis. Verified solutions that make an unpredictable system predictable are presented through design modifications and verified user strategies that mitigate against the identified issues.
登录
查看更多内容
锁定：调查系统锁定的有效性以减少日常任务中的错误
DOI：
--
发表时间：
2010
期刊：
CHI Extended Abstracts
影响因子：
--
作者：
Jonathan Back;Duncan P. Brumby;Anna L. Cox
通讯作者：
Anna L. Cox
安全可靠的 GPCA 输液泵软件开发
DOI：
--
发表时间：
2011
期刊：
International Conference on Embedded Software
影响因子：
--
作者：
Baekgyu Kim;A. Ayoub;O. Sokolsky;Insup Lee;P. Jones;Y. Zhang;R. Jetley
通讯作者：
R. Jetley
EASST 电子通信第 45 卷 (2011) 第四届交互系统形式方法国际研讨会论文集 (FMIS 2011) 输液泵交互行为建模和分析
DOI：
--
发表时间：
2011
期刊：
影响因子：
--
作者：
J. C. Campos;M. Harrison
通讯作者：
M. Harrison
在模态动作逻辑中共享动作和属性
DOI：
--
发表时间：
1991
期刊：
Theoretical Aspects of Computer Software
影响因子：
--
作者：
M. Ryan;J. Fiadeiro;Tom Maibaum
通讯作者：
Tom Maibaum
DOI：
--
发表时间：
2006
期刊：
International Workshop on Design, Specification, and Verification of Interactive Systems
影响因子：
--
作者：
H. Thimbleby
通讯作者：
H. Thimbleby