Safer User Interfaces: A Case Study in Improving Number Entry

Thimbleby, Harold

doi:10.1109/tse.2014.2383396

Cited by 20 publications

(26 citation statements)

References 33 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Thimbleby et al focus on infusion pumps and their number entry systems [72,71,68,55]. They discuss the many di↵erent number entry systems and show how even systems which look the same can perform di↵erently.…”

Section: Existing Testing Techniquesmentioning

confidence: 99%

“…In contrast, in the functional component the increase function may allow a value of 1000 to be stored, resulting in a mismatch between the display and value being stored internally. This error may seem trivial, however safety-critical medical devices often have similarly limited segmented numeric displays, and errors with such systems may have serious, life-threatening consequences (see [72] for examples).…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Supporting interactive system testing with interaction sequences

Turner

Bowen

Reeves

2017

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems

View full text Add to dashboard Cite

Section: Existing Testing Techniquesmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Supporting interactive system testing with interaction sequences

Turner

Bowen

Reeves

2017

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems

View full text Add to dashboard Cite

“…Numeric user interfaces seem easy to implement, so it is surprising that many have bugs [13][14][15], perhaps a consequence of programmers thinking number entry is so easy to program they do not think it is worth adopting best practice they would use for problems recognised as being hard.…”

Section: Bugsmentioning

confidence: 99%

“…An unlimited number of bugs is possible, and any can interact badly with use error, so the recommendations for mitigation are to use formal methods [13] and testing [15], as well as development environments that support tools for rigorous development.…”

Section: Bugsmentioning

confidence: 99%

Issues in number entry user interface styles: Recommendations for mitigation

Thimbleby¹,

Oladimeji²,

Masci³

et al. 2015

Proceedings of the 5th EAI International Conference on Wireless Mobile Communication and Healthcare - "Transforming Healthcare

Self Cite

View full text Add to dashboard Cite

Interacting with numbers is a core part of using many interactive computer systems from the remote controls of electronic media appliances to user interfaces of high-integrity systems such as medical devices. Number entry systems are widely used on mobile devices. A wide variety of different user interface designs exist for interacting with numbers. The intricacies of the different styles are not well understood by designers and developers, especially for handling use error. This paper reviews these issues and provides recommendations for mitigating them.

show abstract

“…However, formal approaches have tended to move away from the mainstream of HCI, finding a strong role in niches such as safety critical interface systems, e.g. the number entry systems found on medical devices [Thimbleby 2015]. Readers are referred to [Bolton et al 2013] which provides a broad overview of the formal approaches to modelling interaction with automation.…”

Section: Introductionmentioning

confidence: 99%

On Lions, Impala, and Bigraphs

Benford

Calder

Rodden

et al. 2016

ACM Trans. Comput.-Hum. Interact.

View full text Add to dashboard Cite

While HCI has a long tradition of formally modelling task-based interactions with graphical user interfaces, there has been less progress in modelling emerging ubiquitous computing systems due in large part to their highly contextual nature and dependence on unreliable sensing systems. We present an exploration of modelling an example ubiquitous system, the Savannah game, using the mathematical formalism of bigraphs, which are based on a universal process algebra that encapsulates both dynamic and spatial behaviour of autonomous agents that interact and move among each other, or within each other. We establish a modelling approach based on four perspectives on ubiquitous systems -Computational, Physical, Human and Technology -and explore how these interact with one another. We show how our model explains observed inconsistencies in user trials of Savannah, and then how formal analysis reveals an incompleteness in design and guides extensions of the model and/or possible system re-design to resolve this.

show abstract

Safer User Interfaces: A Case Study in Improving Number Entry

Cited by 20 publications

References 33 publications

Supporting interactive system testing with interaction sequences

Supporting interactive system testing with interaction sequences

Issues in number entry user interface styles: Recommendations for mitigation

On Lions, Impala, and Bigraphs

Contact Info

Product

Resources

About