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.
The original version of the book was revised: The copyright line was incorrect. The Erratum to the book is available at DOI: 10.1007/978-3-540-92698-6_37
Chapter PDF
Similar content being viewed by others
References
Reason, J.: Human Error. Cambridge University Press, Cambridge (1990)
Gray, W.: The nature and processing of errors in interactive behavior. Cognitive Science 24(2), 205–248 (2000)
Byrne, M.D., Bovair, S.: A working memory model of a common procedural error. Cognitive Science 21(1), 31–61 (1997)
Curzon, P., Blandford, A.E.: Detecting multiple classes of user errors. In: Nigay, L., Little, M.R. (eds.) EHCI 2001. LNCS, vol. 2254, pp. 57–71. Springer, Heidelberg (2001)
Rukšėnas, R., Curzon, P., Back, J., Blandford, A.: Formal modelling of cognitive interpretation. In: Doherty, G., Blandford, A. (eds.) DSVIS 2006. LNCS, vol. 4323, pp. 123–136. Springer, Heidelberg (2007)
Rukšėnas, R., Curzon, P., Blandford, A.: Detecting cognitive causes of confidentiality leaks. In: Proc. 1st Int. Workshop on Formal Methods for Interactive Systems (FMIS 2006). UNU-IIST Report No. 347, pp. 19–37 (2006)
John, B.E., Kieras, D.E.: The GOMS family of user interface analysis techniques: Comparison and contrast. ACM Trans. CHI 3(4), 320–351 (1996)
de Moura, L., Owre, S., Ruess, H., Rushby, J., Shankar, N., Sorea, M., Tiwari, A.: SAL 2. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114, pp. 496–500. Springer, Heidelberg (2004)
John, B.E., Kieras, D.E.: Using GOMS for user interface design and evaluation: which technique? ACM Trans. CHI 3(4), 287–319 (1996)
Beckert, B., Beuster, G.: A method for formalizing, analyzing, and verifying secure user interfaces. In: Liu, Z., He, J. (eds.) ICFEM 2006. LNCS, vol. 4260, pp. 55–73. Springer, Heidelberg (2006)
Bowman, H., Faconti, G.: Analysing cognitive behaviour using LOTOS and Mexitl. Formal Aspects of Computing 11, 132–159 (1999)
Rushby, J.: Analyzing cockpit interfaces using formal methods. Electronic Notes in Theoretical Computer Science 43 (2001)
Fields, R.E.: Analysis of erroneous actions in the design of critical systems. Tech. Rep. YCST 20001/09, Univ. of York, Dept. of Comp. Science, D. Phil Thesis (2001)
Fields, B., Wright, P., Harrison, M.: Time, tasks and errors. ACM SIGCHI Bull. 28(2), 53–56 (1996)
Lacaze, X., Palanque, P., Navarre, D., Bastide, R.: Performance evaluation as a tool for quantitative assessment of complexity of interactive systems. In: Forbrig, P., Limbourg, Q., Urban, B., Vanderdonckt, J. (eds.) DSV-IS 2002. LNCS, vol. 2545, pp. 208–222. Springer, Heidelberg (2002)
Thimbleby, H.: Analysis and simulation of user interfaces. In: Proc. BCS HCI, vol. XIV, pp. 221–237 (2000)
Butterworth, R.J., Blandford, A.E., Duke, D.J.: Demonstrating the cognitive plausibility of interactive systems. Formal Aspects of Computing 12, 237–259 (2000)
Newell, A.: Unified Theories of Cognition. Harvard University Press (1990)
Hudson, S.E., John, B.E., Knudsen, K., Byrne, M.D.: A tool for creating predictive performance models from user interface demonstrations. In: Proc. 12th Ann. ACM Symp. on User Interface Software and Technology, pp. 93–102. ACM Press, New York (1999)
Kieras, D.E., Polson, P.G.: An approach to the formal analysis of user complexity. Int. J. Man-Mach. Stud. 22, 365–394 (1985)
Dix, A., Brewster, S.: Causing trouble with buttons. In: Auxiliary. Proc. HCI 1994 (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rukšėnas, R., Curzon, P., Blandford, A., Back, J. (2008). Combining Human Error Verification and Timing Analysis. In: Gulliksen, J., Harning, M.B., Palanque, P., van der Veer, G.C., Wesson, J. (eds) Engineering Interactive Systems. EHCI 2007. Lecture Notes in Computer Science, vol 4940. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-92698-6_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-92698-6_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-92697-9
Online ISBN: 978-3-540-92698-6
eBook Packages: Computer ScienceComputer Science (R0)