The Psychology of Human-Computer Interaction
The Psychology of Human-Computer Interaction
An approach to formal verification of human–computer interaction
Formal Aspects of Computing
Number entry interfaces and their effects on error detection
INTERACT'11 Proceedings of the 13th IFIP TC 13 international conference on Human-computer interaction - Volume Part IV
Designing for the task: what numbers are really used in hospitals?
CHI '12 Extended Abstracts on Human Factors in Computing Systems
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
Hi-index | 0.00 |
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 types of similar infusion pump, with different software versions, and variation between pump behavior may lead to unexpected adverse events. For example, when entering drug doses into infusion pumps that use the same display and button designs, different results may arise when pushing identical sequences of buttons. These differences arise as a result of subtle implementation differences and may lead to under-dose or over-dose errors. This work explores different implementations of a 5-key interface for entering numbers using a new user interface analysis technique, Differential Formal Analysis. Using Differential Formal Analysis different 5-key interfaces are analysed based on log data collected from 19 infusion pumps over a 3 year period from a UK hospital. The results from this analysis is domain specific to infusion pumps. A comparison is made between domain specific results and generic results from Differential Formal Analysis performed using random data.