Combining Human Error Verification and Timing Analysis

Authors:
Rimvydas Rukšėnas;Paul Curzon;Ann Blandford;Jonathan Back
Affiliations:
Department of Computer Science, Queen Mary, University of London,;Department of Computer Science, Queen Mary, University of London,;University College London Interaction Centre,;University College London Interaction Centre,
Venue:
Engineering Interactive Systems
Year:
2008

Citing 9
Cited 0

Unified theories of cognition

Unified theories of cognition
Time, tasks and errors

ACM SIGCHI Bulletin
Using GOMS for user interface design and evaluation: which technique?

ACM Transactions on Computer-Human Interaction (TOCHI)
The GOMS family of user interface analysis techniques: comparison and contrast

ACM Transactions on Computer-Human Interaction (TOCHI)
A tool for creating predictive performance models from user interface demonstrations

Proceedings of the 12th annual ACM symposium on User interface software and technology
Detecting Multiple Classes of User Errors

EHCI '01 Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction
Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems

DSV-IS '02 Proceedings of the 9th International Workshop on Interactive Systems. Design, Specification, and Verification
Formal modelling of cognitive interpretation

DSVIS'06 Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification
A method for formalizing, analyzing, and verifying secure user interfaces

ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.