Abigail Cauchi
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.
- S. K. Card, A. Newell, and T. P. Moran. The Psychology of Human-Computer Interaction. L. Erlbaum Associates Inc., Hillsdale, NJ, USA, 2000. Google Scholar
Digital Library
- 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. Google ScholarCross Ref
- 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.Google ScholarCross Ref
- R. E. Fields. Analysis of erroneous actions in the design of critical systems. DPhil thesis, University of York, 2001.Google Scholar
- 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
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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
- 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.Google ScholarCross Ref
Index Terms
- Differential formal analysis: evaluating safer 5-key number entry user interface designs
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 ComputersDifferential 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 systemsUser 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 systemsEmpirical 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