Safer User Interfaces: A Case Study in Improving Number Entry

Numbers are used in critical applications, including finance, healthcare, aviation, and of course in every aspect of computing. User interfaces for number entry in many devices (calculators, spreadsheets, infusion pumps, mobile phones, etc.) have bugs and design defects that induce unnecessary use errors that compromise their dependability. Focusing on Arabic key interfaces, which use digit keys 0-9-· usually augmented with correction keys, this paper introduces a method for formalising and managing design problems. Since number entry and devices such as calculators have been the subject of extensive user interface research since at least the 1980s, the diverse design defects uncovered imply that user evaluation methodologies are insufficient for critical applications. Likewise, formal methods are not being applied effectively. User interfaces are not trivial and more attention should be paid to their correct design and implementation. The paper includes many recommendations for designing safer number entry user interfaces.

[1]  Harold W. Thimbleby,et al.  A New Calculator and Why it is Necessary , 1995, Comput. J..

[2]  Richard E. Mayer,et al.  Psychology of calculator languages: a framework for describing differences in users' knowledge , 1981, CACM.

[3]  Thomas P. Moran,et al.  Mental models and problem solving in using a calculator , 1983, CHI '83.

[4]  Harold Thimbleby,et al.  Guidelines for ‘manipulative’ text editing , 1983 .

[5]  R. L. Deininger.  Human factors engineering studies of the design and use of pushbutton telephone sets , 1960 .

[6]  Thomas K. Landauer,et al.  The trouble with computers , 1995 .

[7]  P. Johnson-Laird.  Human and Machine Thinking , 1992 .

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

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

[10]  K. Popper,et al.  Conjectures and refutations;: The growth of scientific knowledge , 1972 .

[11]  Harold W. Thimbleby,et al.  Mathematical Mathematical User Interfaces , 2008, EHCI/DS-VIS.

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

[13]  William Thimbleby.  A novel pen-based calculator and its evaluation , 2004, NordiCHI '04.

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

[15]  C. A. R. HOARE,et al.  An axiomatic basis for computer programming , 1969, CACM.

[16]  Harold Thimbleby,et al.  Making healthcare safer by understanding, designing and buying better IT. , 2015, Clinical medicine.

[17]  Carol A. Miller,et al.  Safe medication practices: nursing assessment of medications in older adults. , 2003, Geriatric nursing.

[18]  Nuno Jardim Nunes,et al.  Interactive Systems. Design, Specification, and Verification , 2003, Lecture Notes in Computer Science.

[19]  Harold W. Thimbleby,et al.  Equal Opportunity Interactive Systems , 1986, Int. J. Man Mach. Stud..

[20]  Nancy G. Leveson,et al.  A reply to the criticisms of the Knight & Leveson experiment , 1990, SOEN.

[21]  Richard M. Young,et al.  The Machine Inside the Machine: Users' Models of Pocket Calculators , 1981, Int. J. Man Mach. Stud..

[22]  Stephen W. Gilroy,et al.  Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification , 2005 .

[23]  Edsger W. Dijkstra,et al.  A Discipline of Programming , 1976 .

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

[25]  Harold W. Thimbleby,et al.  Dependable keyed data entry for interactive systems , 2011, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[26]  Paul Curzon,et al.  Electronic Communications of the EASST Volume 45 ( 2011 ) Proceedings of the Fourth International Workshop on Formal Methods for Interactive Systems ( FMIS 2011 ) The benefits of formalising interactive number entry Case studies with drug infusion pumps , 2011 .

[27]  Yi Zhang,et al.  Formal Verification of Medical Device User Interfaces Using PVS , 2014, FASE.

[28]  Kevin Fu,et al.  Trustworthy Medical Device Software , 2011 .

[29]  Kai A. Olsen.  The $100, 000 Keying Error , 2008, Computer.

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

[31]  John Rushby.  Logic and Epistemology in Safety Cases , 2013, SAFECOMP.

[32]  Harold Thimbleby,et al.  Usability analysis with Markov models , 2001, TCHI.

[33]  Harold W. Thimbleby,et al.  Calculators are needlessly bad , 2000, Int. J. Hum. Comput. Stud..

[34]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

[35]  Harold W. Thimbleby,et al.  Permissive user interfaces , 2001, Int. J. Hum. Comput. Stud..

[36]  Donald A. Norman,et al.  Design rules based on analyses of human error , 1983, CACM.

[37]  Edwin D. Reilly,et al.  Interactive system , 2003 .

[38]  Harold W. Thimbleby,et al.  User interface design , 1990, ACM Press Frontier Series.

[39]  Harold W. Thimbleby,et al.  Heedless programming: ignoring detectable error is a widespread hazard , 2012, Softw. Pract. Exp..

[40]  Stephen W. Gilroy,et al.  Interactive Systems, Design, Specification, and Verification, 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers , 2006, DSV-IS.

[41]  Ann Blandford,et al.  Making a task difficult: evidence that device-oriented steps are effortful and error-prone. , 2013, Journal of experimental psychology. Applied.

[42]  K. Popper,et al.  Conjectures and refutations;: The growth of scientific knowledge , 1972 .

[43]  Michael D. Harrison,et al.  Formal methods in human-computer interaction , 1990 .

[44]  H. Rex Hartson,et al.  Temporal Aspects of Tasks in the User Action Notation , 1992, Hum. Comput. Interact..

[45]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.