Abigail Cauchi

TL;DR: A demonstration is presented of how automated reasoning tools can be used to check the predictability of a user interface using higher-order logic and the Symbolic Analysis Laboratory to automatically verify predictability on real interactive number entry systems of two commercial drug infusion pumps.

TL;DR: The approach combines rigorous simulation of user slip errors with diversity in modelling and analysis methods to evaluate safety critical user interfaces, and provides device manufacturers guidelines to update their device firmware to make their devices safer.

TL;DR: This paper gives a formal definition of predictability in higher order logic and explores how real systems can be verified against the property, and specifies two real number interfaces in the healthcare domain (drug infusion pumps) as case studies of predictable and unpredictable user interfaces.

TL;DR: 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 and 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.

TL;DR: Current practice related to UCD (User Centred Design) in the context of medical device is reported, focusing on end user feedback mechanisms deployed in pre-market and post-market phases of the device lifecycle.