Chapter

Engineering Interactive Systems

Volume 4940 of the series Lecture Notes in Computer Science pp 18-35

Combining Human Error Verification and Timing Analysis

  • Rimvydas RukšėnasAffiliated withDepartment of Computer Science, Queen Mary, University of London
  • , Paul CurzonAffiliated withDepartment of Computer Science, Queen Mary, University of London
  • , Ann BlandfordAffiliated withUniversity College London Interaction Centre
  • , Jonathan BackAffiliated withUniversity College London Interaction Centre

Abstract

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.

Keywords

Human error formal verification execution time GOMS cognitive architecture model checking SAL