Combining human error verification and timing analysis.
Presented at: UNSPECIFIED.
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:||Conference item (UNSPECIFIED)|
|Title:||Combining human error verification and timing analysis|
|Open access status:||An open access version is available from UCL Discovery|
|Keywords:||Cognitive architecture, Execution time, Formal verification, GOMS, Human error, Model checking, SAL|
|UCL classification:||UCL > School of Life and Medical Sciences
UCL > School of Life and Medical Sciences > Faculty of Brain Sciences
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
UCL > School of BEAMS > Faculty of Engineering Science > Computer Science
Archive Staff Only