Triangulating empirical and analytic techniques for improving number entry user interfaces

Empirical methods and analytic methods have been used independently to analyse and improve number entry system designs. This paper identifies key differences in exploring number entry errors combining laboratory studies and analytic methods and discusses the implications of triangulating methods to more thoroughly analyse safety critical design. Additionally, a previously presented analytic method used to analyse number entry interfaces is generalised to analyse more types of number entry systems. This paper takes number entry to mean interactively entering a numeric value, as opposed to entering a numeric identifier such as a phone number or ISBN. Many applications of number entry are safety critical, and this paper is particularly motivated by user interfaces in healthcare, for instance for specifying drug~dosage.

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

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

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

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

[5]  C. Vincent,et al.  Prescribing errors in hospital inpatients: their incidence and clinical significance , 2002, Quality & safety in health care.

[6]  Ellen J. Bass,et al.  Generating Erroneous Human Behavior From Strategic Knowledge in Task Models and Evaluating Its Impact on System Safety With Model Checking , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

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

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

[9]  Harold W. Thimbleby,et al.  Safer "5-key" number entry user interfaces using differential formal analysis , 2012, BCS HCI.

[10]  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.

[11]  Ellen J. Bass,et al.  Using Formal Verification to Evaluate Human-Automation Interaction: A Review , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[12]  Harold W. Thimbleby,et al.  Using Medical Device Logs for Improving Medical Device Design , 2013, 2013 IEEE International Conference on Healthcare Informatics.

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

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

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

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

[17]  Ellen J. Bass,et al.  Formally verifying human–automation interaction as part of a system model: limitations and tradeoffs , 2010, Innovations in Systems and Software Engineering.

[18]  Stephan Merz,et al.  Model Checking , 2000 .