UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Formally justifying user-centred design rules: A case study on post-completion errors

Curzon, P; Blandford, A; (2004) Formally justifying user-centred design rules: A case study on post-completion errors. In: Integrated Formal Methods. (pp. 461 - 480). Springer Berlin Heidelberg: Germany. Green open access

[img]
Preview
PDF
Blandford_5136.pdf

Download (303kB)

Abstract

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.

Type: Proceedings paper
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
ISBN: 3-540-21377-5
ISBN-13: 9783540213772
Open access status: An open access version is available from UCL Discovery
DOI: 10.1007/978-3-540-24756-2_25
Publisher version: http://dx.doi.org/10.1007/978-3-540-24756-2_25
Language: English
Additional information: Original version published on www.springerlink.com
Keywords: Cognitive architecture, User error, Design rules, Formal verification
UCL classification: UCL > School of BEAMS > Faculty of Engineering Science > Computer Science
URI: http://discovery.ucl.ac.uk/id/eprint/98382
Downloads since deposit
24Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item