Combining Human Error Verification and Timing Analysis

  • Rimvydas Rukšėnas
  • Paul Curzon
  • Ann Blandford
  • Jonathan Back
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4940)

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 

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Rimvydas Rukšėnas
    • 1
  • Paul Curzon
    • 1
  • Ann Blandford
    • 2
  • Jonathan Back
    • 2
  1. 1.Department of Computer ScienceQueen Mary, University of LondonUK
  2. 2.University College London Interaction CentreUK

Personalised recommendations