short-paper

Differential formal analysis: evaluating safer 5-key number entry user interface designs

Author:

Abigail CauchiAuthors Info & Claims

EICS '12: Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems

Pages 317 - 320

https://doi.org/10.1145/2305484.2305540

Published: 25 June 2012 Publication History

Get Access

Abstract

Differential Formal Analysis (DFA) is an evaluation method based on stochastic simulation for evaluating safety critical user interfaces with subtle programming differences. This method enforces rigorous science by requiring two or more researchers to perform the analysis which in itself, raises important issues for discussion. This method is demonstrated through a case study on 5-key number entry systems which are a safety critical interface found in various popular commercial medical infusion pumps. The results of the case study are an important contribution of this paper since it provides device manufacturers guidelines to update their device firmware to make their 5 key number entry UIs safer, as well as a method that could be applied to other designs.

References

[1]

S. K. Card, A. Newell, and T. P. Moran. The Psychology of Human-Computer Interaction. L. Erlbaum Associates Inc., Hillsdale, NJ, USA, 2000.

Digital Library

Google Scholar

[2]

P. Curzon, R. Ruksšėnas, and A. Blandford. An approach to formal verification of human-computer interaction. Formal Aspects of Computing, 4(19):512--550, 2007.

Crossref

Google Scholar

[3]

B. Dean, M. Schachter, C. Vincent, and N. Barber. Prescribing errors in hospital inpatients: their incidence and clinical significance. Quality and Safety in Health Care, 11(4):340--344, 2002.

Crossref

Google Scholar

[4]

R. E. Fields. Analysis of erroneous actions in the design of critical systems. DPhil thesis, University of York, 2001.

Google Scholar

[5]

P. Masci, R. Ruksšėnas, P. Oladimeji, A. Cauchi, A. Gimblett, Y. Li, P. Curzon, and H. Thimbleby. On formalising interactive number entry on infusion pumps. In FMIS2011, the 4th Intl. Workshop on Formal Methods for Interactive Systems, 2011.

Google Scholar

[6]

P. Oladimeji, H. Thimbleby, and A. Cox. Number entry interfaces and their effects on error detection. In Proceedings of the 13th IFIP TC 13 international conference on Human-computer interaction - Volume Part IV, INTERACT'11, pages 178--185, Berlin, Heidelberg, 20 Springer-Verlag.

Digital Library

Google Scholar

[7]

H. Thimbleby. Interaction walkthrough: Evaluation of safety critical interactive systems. In G. Doherty and A. Blandford, editors, Proceedings The XIII International Workshop on Design, Specification and Verification of Interactive Systems - DSVIS 2006, volume 4323 of Lecture Notes in Computer Science, pages 52--66. Springer Verlag, 2007.

Digital Library

Google Scholar

[8]

H. Thimbleby, A. Cauchi, A. Gimblett, P. Masci, and P. Curzon. Evaluating safer 5-key number entry user interface designs using differential formal analysis. Technical report, Swansea University, 2012.

Google Scholar

[9]

K. J. Vicente, K. Kada-Bekhaled, G. Hillel, A. Cassano, and B. A. Orser. Programming errors contribute to death from patient-controlled analgesia: case report and estimate of probability. Canadian Journal of Anesthesia, 50(4):328--332, 2003.

Crossref

Google Scholar

Cited By

View all

Masci PRukšėnas ROladimeji PCauchi AGimblett ALi YCurzon PThimbleby H(2018)The benefits of formalising design guidelinesInnovations in Systems and Software Engineering10.1007/s11334-013-0200-411:2(73-93)Online publication date: 15-Dec-2018
https://dl.acm.org/doi/10.1007/s11334-013-0200-4
Ehrler FHaller GSarrey EWalesa MWipfli RLovis C(2015)Assessing the Usability of Six Data Entry Mobile Interfaces for Caregivers: A Randomized TrialJMIR Human Factors10.2196/humanfactors.40932:2(e15)Online publication date: 15-Dec-2015
https://doi.org/10.2196/humanfactors.4093
Masci PZhang YJones PCurzon PThimbleby H(2014)Formal Verification of Medical Device User Interfaces Using PVSProceedings of the 17th International Conference on Fundamental Approaches to Software Engineering - Volume 841110.1007/978-3-642-54804-8_14(200-214)Online publication date: 5-Apr-2014
https://dl.acm.org/doi/10.1007/978-3-642-54804-8_14
Show More Cited By

Index Terms

Differential formal analysis: evaluating safer 5-key number entry user interface designs
1. Human-centered computing
  1. Human computer interaction (HCI)

Recommendations

Safer "5-key" number entry user interfaces using differential formal analysis
BCS-HCI '12: Proceedings of the 26th Annual BCS Interaction Specialist Group Conference on People and Computers

Differential formal analysis is a new user interface analytic evaluation method based on stochastic user simulation. The method is particularly valuable for evaluating safety critical user interfaces, which often have subtle programming issues. The ...
Using differential formal analysis for dependable number entry
EICS '13: Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems

User interfaces that employ the same display and buttons may look the same but can work very differently depending on how they are implemented. In healthcare, it is critical that interfaces that look the same are the same. Hospitals typically have many ...
Triangulating empirical and analytic techniques for improving number entry user interfaces
EICS '14: Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive computing systems

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 ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

EICS '12: Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems

June 2012

350 pages

ISBN:9781450311687

DOI:10.1145/2305484

General Chairs:
Simone D.J. Barbosa
PUC Rio de Janeiro, Brazil
,
José Creissac Campos
University of Minho, Portugal
,
Program Chairs:
Rick Kazman
Carnegie Mellon University and University of Hawai'i, USA
,
Philippe Palanque
University of Toulouse 3, France
,
Michael Harrison
Newcastle University, UK
,
Steve Reeves
University of Waikato, New Zealand

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 25 June 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Short-paper

Conference

EICS'12

Sponsor:

SIGCHI

EICS'12: ACM SIGCHI Symposium on Engineering Interactive Computing Systems

June 25 - 26, 2012

Copenhagen, Denmark

Acceptance Rates

Overall Acceptance Rate 73 of 299 submissions, 24%

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
90
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 26 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Masci PRukšėnas ROladimeji PCauchi AGimblett ALi YCurzon PThimbleby H(2018)The benefits of formalising design guidelinesInnovations in Systems and Software Engineering10.1007/s11334-013-0200-411:2(73-93)Online publication date: 15-Dec-2018
https://dl.acm.org/doi/10.1007/s11334-013-0200-4
Ehrler FHaller GSarrey EWalesa MWipfli RLovis C(2015)Assessing the Usability of Six Data Entry Mobile Interfaces for Caregivers: A Randomized TrialJMIR Human Factors10.2196/humanfactors.40932:2(e15)Online publication date: 15-Dec-2015
https://doi.org/10.2196/humanfactors.4093
Masci PZhang YJones PCurzon PThimbleby H(2014)Formal Verification of Medical Device User Interfaces Using PVSProceedings of the 17th International Conference on Fundamental Approaches to Software Engineering - Volume 841110.1007/978-3-642-54804-8_14(200-214)Online publication date: 5-Apr-2014
https://dl.acm.org/doi/10.1007/978-3-642-54804-8_14
Sandnes FHuang Y(2013)A Computer Supported Memory Aid for Copying Prescription Parameters into Medical Equipment Based on Linguistic PhrasesProceedings of the 2013 IEEE International Conference on Systems, Man, and Cybernetics10.1109/SMC.2013.588(3447-3451)Online publication date: 13-Oct-2013
https://dl.acm.org/doi/10.1109/SMC.2013.588
Sandnes FHuang Y(2013)An Interface for Reducing Errors in Intravenous Drug AdministrationAdvanced Technologies, Embedded and Multimedia for Human-centric Computing10.1007/978-94-007-7262-5_1(3-12)Online publication date: 13-Nov-2013
https://doi.org/10.1007/978-94-007-7262-5_1
Masci PAyoub ACurzon PLee ISokolsky OThimbleby H(2013)Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVSProceedings of the 32nd International Conference on Computer Safety, Reliability, and Security - Volume 815310.1007/978-3-642-40793-2_21(228-240)Online publication date: 24-Sep-2013
https://dl.acm.org/doi/10.1007/978-3-642-40793-2_21
Sandnes F(2013)An error tolerant memory aid for reduced cognitive load in number copying tasksProceedings of the 7th international conference on Universal Access in Human-Computer Interaction: user and context diversity - Volume 210.1007/978-3-642-39191-0_66(614-623)Online publication date: 21-Jul-2013
https://dl.acm.org/doi/10.1007/978-3-642-39191-0_66

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Safer "5-key" number entry user interfaces using differential formal analysis

Using differential formal analysis for dependable number entry

Triangulating empirical and analytic techniques for improving number entry user interfaces