Verification-guided modelling of salience and cognitive load

Formal Aspects of Computing

Volumn 21, Issue 6, 2009, Pages 541-569

  Rukšenas, Rimvydas ^a   Back, Jonathan ^b   Curzon, Paul ^a   Blandford, Ann ^b  

^a QUEEN MARY UNIVERSITY OF LONDON   (United Kingdom)

^b UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

Cognitive load; Formal verification; Human error; Model checking; Salience

Indexed keywords

COGNITIVE ARCHITECTURES; COGNITIVE LOADS; COGNITIVE SCIENCE; EMPIRICAL DATA; EMPIRICAL STUDIES; FORMAL ANALYSIS; FORMAL VERIFICATIONS; HIGHER ORDER LOGIC; HUMAN ERRORS; ITERATIVE REFINEMENT; SENSORY CUES;

COGNITIVE SYSTEMS; EMERGENCY VEHICLES; ERRORS;

MODEL CHECKING;

EID: 71949123283     PISSN: 09345043     EISSN: 1433299X     Source Type: Journal    
DOI: 10.1007/s00165-008-0102-7     Document Type: Article

References (35)

1. Barnard PJ, May J (1995) Interactions with advanced graphical interfaces and the deployment of latent human knowledge. In: Design, specification and verification of interactive systems: DSV-IS'95. Springer, Berlin, pp 15-49
2. Back J, Blandford A, Curzon P (2007) Slip errors and cue salience. In: Proc. ECCE 2007: Invent! Explore!, pp 221-224. doi: 10.1145/1362550.1362595
3. Back J, Blandford A, Curzon P, Rukšėnas R (2008) Explaining mode and omission errors: a load model. Hum Factors J Hum Factors Ergonomics Soc (in press)
4. RJ Butterworth AE Blandford DJ Duke 2000 Demonstrating the cognitive plausibility of interactive systems Formal Aspects Comput 12 4 237 259 10.1007/s001650070021 0972.68169 10.1007/s001650070021
5. Back J, Furniss D, Hildebrandt M, Blandford A (2008) Resilience markers for safer systems and organisations. In: Computer safety, reliability, and security: SAFECOMP 2008, Springer, Berlin, pp 99-112. doi: 10.1007/978-3-540- 87698-4-11
6. H Bowman G Faconti 1999 Analysing cognitive behaviour using LOTOS and Mexitl Formal Aspects Comput 11 2 132 159 10.1007/s001650050045 10.1007/s001650050045
7. MD Byrne S Bovair 1997 A working memory model of a common procedural error Cogn Sci 21 1 31 61 10.1016/S0364-0213(99)80018-4 10.1016/S0364-0213(99) 80018-4
8. U Cartwright-Finch N Lavie 2007 The role of perceptual load in inattentional blindness Cognition 102 3 321 340 10.1016/j.cognition.2006.01.002 10.1016/j.cognition.2006.01.002 (Pubitemid 46107406)
9. Campos JC (2003) Using task knowledge to guide interactor specifications analysis. In: Jorge JA, Jardim Nunes N, Falcãoe Cunha J (eds) Interactive systems. design, specification and verification, 10th international workshop. Lecture notes in computer science, vol 2844. Springer, Berlin, pp 171-186
10. Chung P, Byrne MD (2004) Visual cues to reduce errors in a routine procedural task. In: Proc. 26th Ann. Conf. of the cognitive science society. Lawrence Erlbaum Associates, NJ
11. P Curzon R Rukšėnas A Blandford 2007 An approach to formal verification of human-computer interaction Formal Aspects Comput 19 4 513 550 10.1007/s00165-007-0035-6 1129.68501 10.1007/s00165-007-0035-6 (Pubitemid 47613057)
12. Curzon P, Blandford AE (2001) Detecting multiple classes of user errors. In: Little R, Nigay L (eds) Proceedings of the 8th IFIP working conference on engineering for human-computer interaction (EHCI'01). Lecture notes in computer science, vol 2254. Springer, Berlin, pp 57-71. doi: 10.1007/3-540-45348-2-9
13. DJ Duke PJ Barnard DA Duce J May 1998 Syndetic modelling Human-Computer Interaction 13 4 337 394 10.1207/s15327051hci1304-1 10.1207/s15327051hci1304-1
14. Duke DJ, Barnard PJ, May J, Duce DA (1995) Systematic development of the human interface. In: APSEC'95: Second Asia-Pacific software engineering conference. IEEE Computer Society Press, pp 313-321. doi: 10.1109/APSEC.1995. 496980
15. DJ Duke DA Duce 1999 The formalization of a cognitive architecture and its application to reasoning about human computer interaction Formal Aspects Comput 11 6 665 689 10.1007/s001659970004 0969.68577 10.1007/s001659970004
16. Fields RE (2001) Analysis of erroneous actions in the design of critical systems. D.Phil Thesis, Technical Report YCST 20001/09. University of York, Department of Computer Science
17. WD Gray 2000 The nature and processing of errors in interactive behavior Cogn Sci 24 2 205 248 10.1207/s15516709cog2402-2 10.1016/S0364-0213(00)00022-7
18. Hale A, Glendon I (1987) Individual behaviour in the control of danger. Industrial safety series, vol 2. Elsevier, Amsterdam
19. Hollnagel E (1993) Human reliability analysis, context and control. Academic Press, London
20. NG Leveson CS Turner 1993 An investigation of the therac-25 accidents IEEE Computer 26 7 18 41 10.1109/MC.1993.274940
21. Moher TG, Dirda V (1995) Revising mental models to accommodate expectation failures in human-computer dialogues. In: Design, specification and verification of interactive systems: DSV-IS'95. Springer, Berlin, pp 76-92
22. de Moura L, Owre S, Ruess H, Rushby J, Shankar N, Sorea M, Tiwari A (2004) SAL 2. In: Alur R, Peled DA (eds) Computer aided verification: CAV'04. Lecture notes in computer science, vol 3114. Springer, Berlin, pp 496-500
23. Newell A (1990) Unified theories of cognition. Harvard University Press, Cambridge, MA, USA
24. Norman DA (1983) Some observations on mental models. In: Stevens AL, Gentner D (eds) Mental models. Lawrence Erlbaum Associates, NJ
25. Paternò F, Mezzanotte M (1995) Formal analysis of user and system interactions in the CERD case study. In: Proceedings of EHCI'95: IFIP working conference on engineering for human-computer interaction. Chapman and Hall Publisher, London, pp 213-226
26. SJ Payne 1991 Display-based action at the user interface Int J Man-Machine Stud 35 3 275 289 10.1016/S0020-7373(05)80129-4 10.1016/S0020- 7373(05)80129-4
27. Rasmussen J (1980) What can be learned from human error reports? In: Duncan K, Gruneberg M, Wallis D (eds) Changes in working life. Wiley, London
28. Reason J (1990) Human error. Cambridge University Press, London
29. Rukšėnas R, Back J, Curzon P, Blandford A (2008) Formal modelling of salience and cognitive load. In: Proc. 2nd Int. workshop on formal methods for interactive systems: FMIS 2007. Electronic Notes in Theoretical Computer Science 208:57-75. doi: 10.1016/j.entcs.2008.03.107
30. Rukšėnas R, Curzon P, Back J, Blandford A (2007) Formal modelling of cognitive interpretation. In: Doherty G, Blandford A (eds) Interactive systems. design, specification and verification, 13th international workshop. Lecture notes in computer science, vol 4323. Springer, Berlin, pp 123-136. doi: 10.1007/978-3-540-69554-7-10
31. Rukšėnas R, Curzon P, Blandford A, Back J (2008) Combining human error verification and timing analysis. In: Proceedings of engineering interactive systems 2007. Lecture notes in computer science, vol 4940. Springer, Berlin, pp 18-35
32. J Rushby 2001 Analyzing cockpit interfaces using formal methods Electronic Notes in Theoretical Computer Science 43 1 14 10.1016/S1571-0661(04) 80891-0 10.1016/S1571-0661(04)80891-0
33. Su L, Bowman H, Barnard PJ (2007) Attentional capture by meaning: a multi-level modelling study. In: Proc. 29th ann. conf. of the cognitive science society. Lawrence Erlbaum Associates, NJ, pp 1521-1526
34. Su L, Bowman H, Barnard PJ, Wyble B (2008) Process algebraic modelling of attentional capture and human electrophysiology in interactive systems. Formal Aspects Comput (in press)
35. C Wickens 2002 Multiple resources and performance prediction Theor Issues Ergonomic Sci 3 2 159 177 10.1080/14639220210123806 10.1080/14639220210123806