Formally justifying user-centred design rules: A case study on post-completion errors.
Integrated Formal Methods.
(pp. 461 - 480).
Springer Berlin Heidelberg: Germany.
Interactive systems combine a human operator with a computer. Either may be a source of error. The verification processes used must ensure both the correctness of the computer component, and also minimize the risk of human error. Human-centred design aims to do this by designing systems in a way that make allowance for human frailty. One approach to such design is to adhere to design rules. Design rules, however, are often ad hoc. We examine how a formal cognitive model, encapsulating results from the cognitive sciences, can be used to justify such design rules in a way that integrates their use with existing formal hardware verification techniques. We consider here the verification of a design rule intended to prevent a commonly occurring class of human error know as the post-completion error.
|Title:||Formally justifying user-centred design rules: A case study on post-completion errors|
|Event:||4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings|
|Open access status:||An open access version is available from UCL Discovery|
|Additional information:||Original version published on www.springerlink.com|
|Keywords:||Cognitive architecture, User error, Design rules, Formal verification|
|UCL classification:||UCL > School of BEAMS
UCL > School of BEAMS > Faculty of Engineering Science
Archive Staff Only