Article thumbnail
Location of Repository

Combining human error verification and timing analysis

By R Rukšenas, P Curzon, A Blandford and J Back


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

Year: 2008
DOI identifier: 10.1007/978-3-540-92698-6_2
OAI identifier:
Provided by: UCL Discovery

Suggested articles


  1. (2006). A method for formalizing, analyzing, and verifying secure user interfaces. In:
  2. (1997). A working memory model of a common procedural error.
  3. (2006). A.: Detecting cognitive causes of confidentiality leaks. In:
  4. (2001). A.E.: Detecting multiple classes of user errors.
  5. (1999). Analysing cognitive behaviour using LOTOS and Mexitl.
  6. (2000). Analysis and simulation of user interfaces. In:
  7. (2001). Analysis of erroneous actions in the design of critical systems.
  8. (2001). Analyzing cockpit interfaces using formal methods.
  9. (1994). Causing trouble with buttons. In: Auxiliary
  10. (2000). Demonstrating the cognitive plausibility of interactive systems.
  11. (2007). Formal modelling of cognitive interpretation.
  12. (1990). Human Error.
  13. (1999). M.D.: A tool for creating predictive performance models from user interface demonstrations. In:
  14. (1985). P.G.: An approach to the formal analysis of user complexity.
  15. (1996). The GOMS family of user interface analysis techniques: Comparison and contrast.
  16. (2000). The nature and processing of errors in interactive behavior.
  17. (1996). Time, tasks and errors.
  18. (1990). Unified Theories of Cognition.
  19. (1996). Using GOMS for user interface design and evaluation: which technique?

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.