UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Capturing the distinction between task and device errors in a formal model of user behaviour

Huang, H; Rukšenas, R; Ament, MGA; Curzon, P; Cox, AL; Blandford, A; Brumby, D; (2011) Capturing the distinction between task and device errors in a formal model of user behaviour. Electronic Communications of the EASST , 45 10.14279/tuj.eceasst.45.656.679.

Full text not available from this repository.

Abstract

© Formal Methods for Interactive Systems 2011. In any complex interactive human-computer system, people are likely to make errors during its operation. In this paper, we describe a validation study of an existing generic model of user behaviour. The study is based on the data and conclusions from an independent prior experiment. We show that the current model does successfully capture the key concepts investigated in the experiment, particularly relating to results to do with the distinction between task and device-specific errors. However, we also highlight some apparent weaknesses in the current model with respect to initialisation errors, based on comparison with previously unpublished (and more detailed) data from the experiment. The differences between data and observed model behaviour suggest the need for new empirical research to determine what additional factors are at work. We also discuss the potential use of formal models of user behaviour in both informing, and generating further hypotheses about the causes of human error.

Type: Article
Title: Capturing the distinction between task and device errors in a formal model of user behaviour
DOI: 10.14279/tuj.eceasst.45.656.679
URI: http://discovery.ucl.ac.uk/id/eprint/1308860
Downloads since deposit
0Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item