Formally justifying user-centred design rules: A case study on post-completion errors
P. Curzon, and A. Blandford. Proceedings of the 4th International Conference on Integrated Formal Methods, 2999, Springer Berlin, Heidelberg, The original publication is available at www.springerlink.com.(2004)
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.
%0 Book Section
%1 loepucl5136
%A Curzon, P.
%A Blandford, A.
%B Proceedings of the 4th International Conference on Integrated Formal Methods
%C Heidelberg
%D 2004
%E Boiten, E.A.
%E Derrick, J.
%E Smith, G.
%I Springer Berlin
%K imported
%N 2999
%P 461--480
%T Formally justifying user-centred design rules: A case study on post-completion errors
%U http://eprints.ucl.ac.uk/5136/
%X 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.
@incollection{loepucl5136,
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.},
added-at = {2008-10-24T14:29:07.000+0200},
address = {Heidelberg},
author = {Curzon, P. and Blandford, A.},
biburl = {https://www.bibsonomy.org/bibtex/2f7bbbec0212cb47d33ddeb8b9b4033b5/uclic},
booktitle = {Proceedings of the 4th International Conference on Integrated Formal Methods},
description = {UCLIC eprints as of October 2008},
editor = {Boiten, E.A. and Derrick, J. and Smith, G.},
interhash = {d6243a95d090ecc6031dc9bcfbf81d06},
intrahash = {f7bbbec0212cb47d33ddeb8b9b4033b5},
keywords = {imported},
note = {The original publication is available at www.springerlink.com},
number = 2999,
pages = {461--480},
publisher = {Springer Berlin},
series = {Lecture Notes in Computer Science},
timestamp = {2008-10-24T14:29:08.000+0200},
title = {Formally justifying user-centred design rules: A case study on post-completion errors},
url = {http://eprints.ucl.ac.uk/5136/},
year = 2004
}