Using analytical and empirical techniques for improving medical device number entry systems design

Use policy: _________________________________________________________________________ This item is brought to you by Swansea University. Any person downloading material is agreeing to abide by the terms of the repository licence: copies of full text items may be used or reproduced in any format or medium, without prior permission for personal research or study, educational or non-commercial purposes only. The copyright for any work remains with the original author unless otherwise specified. The full-text must not be sold in any format or medium without the formal permission of the copyright holder. Permission for multiple reproductions should be obtained from the original author.

[1]  Niezen Gerrit.  A continuous interaction approach to interactive medical device design , 2014 .

[2]  Ashish Tiwari,et al.  Sal 2 , 2004, CAV.

[3]  Franz Huber,et al.  Model-based Development Model-based Development * , 2002 .

[4]  Neville A. Stanton,et al.  Human error identification in human-computer interaction , 2002 .

[5]  Harold W. Thimbleby,et al.  The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps , 2013, Innovations in Systems and Software Engineering.

[6]  Natarajan Shankar,et al.  PVS: Combining Specification, Proof Checking, and Model Checking , 1996, FMCAD.

[7]  Tosha B. Wetterneck,et al.  Technology Evaluation: Workarounds to Barcode Medication Administration Systems: Their Occurrences, Causes, and Threats to Patient Safety , 2008, J. Am. Medical Informatics Assoc..

[8]  Karin Garmer,et al.  Application of usability testing to the development of medical equipment. Usability testing of a frequently used infusion pump and a new user interface for an infusion pump developed with a Human Factors approach , 2002 .

[9]  L. Kohn,et al.  To Err Is Human : Building a Safer Health System , 2007 .

[10]  Duncan P. Brumby,et al.  Designing for the task: what numbers are really used in hospitals? , 2012, CHI EA '12.

[11]  Abigail Cauchi,et al.  Differential formal analysis: evaluating safer 5-key number entry user interface designs , 2012, EICS '12.

[12]  Duncan P. Brumby,et al.  Designing Devices With the Task in Mind , 2013, Hum. Factors.

[13]  Harold W. Thimbleby,et al.  Towards Dependable Number Entry for Medical Devices , 2011, EICS4Med.

[14]  Harold Thimbleby,et al.  Analysis of infusion pump error logs and their significance for health care. , 2012, British journal of nursing.

[15]  H. Simon,et al.  The sciences of the artificial (3rd ed.) , 1996 .

[16]  James Reason,et al.  Human Error , 1990 .

[17]  Gill Ginsburg,et al.  Human factors engineering: A tool for medical device evaluation in hospital procurement decision-making , 2005, J. Biomed. Informatics.

[18]  Insup Lee,et al.  Formal Methods Based Development of a PCA Infusion Pump Reference Model: Generic Infusion Pump (GIP) Project , 2007, 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability (HCMDSS-MDPnP 2007).

[19]  Harold W. Thimbleby,et al.  A Performance Review of Number Entry Interfaces , 2013, INTERACT.

[20]  Harold W. Thimbleby,et al.  Interaction Walkthrough: Evaluation of Safety Critical Interactive Systems , 2006, DSV-IS.

[21]  Monique W. M. Jaspers,et al.  A comparison of usability methods for testing interactive health technologies: Methodological aspects and empirical evidence , 2009, Int. J. Medical Informatics.

[22]  Patrick Oladimeji,et al.  Towards safer number entry in interactive medical systems , 2012, EICS '12.

[23]  Harold W. Thimbleby,et al.  Press on - principles of interaction programming , 2007 .

[24]  James R Ward,et al.  An analysis of medical device-related errors: prevalence and possible solutions , 2004, Journal of medical engineering & technology.

[25]  Pascale Carayon,et al.  Human factors in patient safety as an innovation. , 2010, Applied ergonomics.

[26]  Colin Potts,et al.  Design of Everyday Things , 1988 .

[27]  Maarten van Someren,et al.  The Think Aloud Method: A Practical Guide to Modelling Cognitive Processes , 1994 .

[28]  Ann Blandford,et al.  An approach to formal verification of human–computer interaction , 2007, Formal Aspects of Computing.

[29]  Harold W. Thimbleby,et al.  Reasons to question seven segment displays , 2013, CHI.

[30]  Harold W. Thimbleby,et al.  From rotary telephones to universal number entry systems: can the past re-shape the future? , 2012, UbiComp '12.

[31]  Harold W. Thimbleby,et al.  User interface model discovery: towards a generic approach , 2010, EICS '10.

[32]  Harold W. Thimbleby,et al.  Improving Safety in Medical Devices and Systems , 2013, 2013 IEEE International Conference on Healthcare Informatics.

[33]  Harold Thimbleby,et al.  Reducing number entry errors: solving a widespread, serious problem , 2010, Journal of The Royal Society Interface.

[34]  J. Reason.  Human error: models and management , 2000, BMJ : British Medical Journal.

[35]  Abigail Cauchi.  Using differential formal analysis for dependable number entry , 2013, EICS.

[36]  Harold W. Thimbleby,et al.  Number Entry Interfaces and Their Effects on Error Detection , 2011, INTERACT.

[37]  Vimla L. Patel,et al.  To err is not entirely human: Complex technology and user cognition , 2005, J. Biomed. Informatics.

[38]  S. Rich.  How human factors lead to medical device adverse events. , 2008, Nursing.

[39]  Parisa Eslambolchilar,et al.  The Evolution of Number Entry: A Case Study of the Telephone , 2013, INTERACT.

[40]  Paul A. Cairns,et al.  A taxonomy of number entry error , 2011, BCS HCI.

[41]  A. Glendon,et al.  Human Safety and Risk Management, Second Edition , 2006 .

[42]  Neville A. Stanton,et al.  Analytical Prototyping of Personal Technologies: Using Predictions of Time and Error to Evaluate User Interfaces , 2001, INTERACT.

[43]  Jakob Nielsen,et al.  Usability engineering , 1997, The Computer Science and Engineering Handbook.

[44]  Harry Hochheiser,et al.  Research Methods for Human-Computer Interaction , 2008 .

[45]  Steven Dain,et al.  Normal accidents: human error and medical equipment design. , 2002, The heart surgery forum.

[46]  Paul Curzon,et al.  On formalising interactive number entry on infusion pumps , 2011 .

[47]  Chris Baber,et al.  Validating task analysis for error identification: reliability and validity of a human error prediction technique , 2005, Ergonomics.

[48]  Robert E. Fields,et al.  Analysis of erroneous actions in the design of critical systems , 2001 .

[49]  Jeffrey B. Gross,et al.  Programming Errors Contribute to Death from Patient-Controlled Analgesia: Case Report and Estimate of Probability , 2004 .

[50]  Allen Newell,et al.  The psychology of human-computer interaction , 1983 .

[51]  Anna L. Cox,et al.  A case for Number Entry , 2012, CHI 2012.

[52]  Yi Zhang,et al.  A Hazard Analysis for a Generic Insulin Infusion Pump , 2010, Journal of diabetes science and technology.

[53]  Randolph G. Bias,et al.  Research Methods for Human-Computer Interaction , 2010, J. Assoc. Inf. Sci. Technol..

[54]  Harold W. Thimbleby,et al.  Buffer automata: a UI architecture prioritising HCI concerns for interactive devices , 2011, EICS '11.

[55]  C Baber,et al.  Human error identification techniques applied to public technology: predictions compared with observed use. , 1996, Applied ergonomics.

[56]  Poika Isokoski,et al.  Comparison of two touchpad-based methods for numeric entry , 2002, CHI.

[57]  Susanne Boll,et al.  Tap2Count: numerical input for interactive tabletops , 2011, ITS '11.

[58]  Harold Thimbleby,et al.  Simulation to Evaluate Alternative Approaches to Blocking Use Errors , 2012 .