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: (pp. pp. 18-35). Green open access


Download (218kB)


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
ISBN: 3540926976
Open access status: An open access version is available from UCL Discovery
DOI: 10.1007/978-3-540-92698-6_2
URI: http://discovery.ucl.ac.uk/id/eprint/16821
Downloads since deposit
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item