UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Combining human error verification and timing analysis

Rukšenas, R; Curzon, P; Blandford, A; Back, J; (2008) Combining human error verification and timing analysis. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). (pp. 18 - 35). Green open access

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader


Designs can often be unacceptable on performance grounds. In this work, we integrate a GOMS-like ability to predict execution times into the generic cognitive architecture developed for the formal verification of human error related correctness properties. As a result, formal verification and GOMS-like timing analysis are combined within a unified framework. This allows one to judge whether a formally correct design is also acceptable on performance grounds, and vice versa. We illustrate our approach with an example based on a KLM style timing analysis. © 2008 Springer Berlin Heidelberg.

Type:Proceedings paper
Title:Combining human error verification and timing analysis
Open access status:An open access version is available from UCL Discovery
UCL classification:UCL > School of Life and Medical Sciences > Faculty of Brain Sciences > Psychology and Language Sciences (Division of) > UCL Interaction Centre
UCL > School of BEAMS > Faculty of Engineering Science > Computer Science

View download statistics for this item

Archive Staff Only: edit this record