Verification-guided modelling of salience and cognitive load

被引：21

作者：

Ruksenas, Rimvydas ^{[1
]}

Back, Jonathan ^{[2
]}

Curzon, Paul ^{[1
]}

Blandford, Ann ^{[2
]}

机构：

[1] Queen Mary Univ London, Sch Elect Engn & Comp Sci, London E1 4NS, England

[2] UCL, UCL Interact Ctr, London WC1E 6BT, England

来源：

FORMAL ASPECTS OF COMPUTING | 2009年 / 21卷 / 06期

基金：

英国工程与自然科学研究理事会;

关键词：

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

D O I：

10.1007/s00165-008-0102-7

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Well-designed interfaces use procedural and sensory cues to increase the cognitive salience of appropriate actions. However, empirical studies suggest that cognitive load can influence the strength of those cues. We formalise the relationship between salience and cognitive load revealed by empirical data. We add these rules to our abstract cognitive architecture, based on higher-order logic and developed for the formal verification of usability properties. The interface of a fire engine dispatch task from the empirical studies is then formally modelled and verified. The outcomes of this verification and their comparison with the empirical data provide a way of assessing our salience and load rules. They also guide further iterative refinements of these rules. Furthermore, the juxtaposition of the outcomes of formal analysis and empirical studies suggests new experimental hypotheses, thus providing input to researchers in cognitive science.

引用

页码：541 / 569

页数：29

共 35 条

[1]

[Anonymous], 1993, Human reliability analysis: Context and control

[2]

[Anonymous], 1983, MENTAL MODELS

[3]

BACK J, 2008, HUM FACTORS IN PRESS

[4]

Back J., 2007, P 14 EUR C COGN ERG, P221, DOI DOI 10.1145/1362550.1362595

[5] Resilience Markers for Safer Systems and Organisations [J].

Back, Jonathan ;

Furniss, Dominic ;

Hilderbrandt, Michael ;

Blandford, Ann .

COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2008, 5219 :99-+

[6]

BARNES PH, 1995, INTEGRATED RISK ASSESSMENT, P15

[7]

Bowman H., 1999, Formal Aspects of Computing, V11, P132, DOI 10.1007/s001650050045

[8] Demonstrating the cognitive plausibility of interactive system specifications [J].

Butterworth, Richard ;

Blandford, Ann ;

Duke, David .

Formal Aspects of Computing, 2000, 12 (04) :237-259

[9]

Byrne MD, 1997, COGNITIVE SCI, V21, P31, DOI 10.1016/S0364-0213(99)80018-4

[10]

Campos JC, 2003, LECT NOTES COMPUT SC, V2844, P171

← 1 2 3 4 →