Lookup NU author(s): Professor Michael Harrison
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Itiswellknownthathumanerrorintheuseofinteractivedevicescan have severe safety or business consequences. It is important therefore that aspects of the design that compromise the usability of a device can be predicted before deployment. A range of techniques have been developed for identifying poten- tial usability problems including laboratory based experiments with prototypes and paper based evaluation techniques. This paper proposes a framework that in- tegrates experimental techniques with formal models of the device, along with assumptions about how the device will be used. Abstract models of prototype de- signs and use assumptions are analysed using model checking techniques. As a result of the analysis hypotheses are formulated about how a design will fail in terms of its usability. These hypotheses are then used in an experimental environ- ment with potential users to test the predictions. Formal methods are therefore integrated with laboratory based user evaluation to give increased confidence in the results of the usability evaluation process. The approach is illustrated by ex- ploring the design of an IV infusion pump designed for use in a hospital context.
Author(s): Ruksenas R, Curzon P, Harrison MD
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: IFM 2013: Proceedings of the 10th International Conference on Integrated Formal Methods
Year of Conference: 2013
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science