UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

Verification-guided modelling of salience and cognitive load

Rukšėnas, R.; Back, J.; Curzon, P.; Blandford, A.; (2009) Verification-guided modelling of salience and cognitive load. Formal Aspects of Computing , 21 (6) pp. 541-569. 10.1007/s00165-008-0102-7. Green open access

[thumbnail of 16826.pdf]

Download (489kB)


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.

Type: Article
Title: Verification-guided modelling of salience and cognitive load
Open access status: An open access version is available from UCL Discovery
DOI: 10.1007/s00165-008-0102-7
Publisher version: http://dx.doi.org/10.1007/s00165-008-0102-7
Language: English
Additional information: The original publication is available at www.springerlink.com
Keywords: Human error, formal verification, salience, cognitive load, model checking
UCL classification: UCL > Provost and Vice Provost Offices > School of Life and Medical Sciences > Faculty of Brain Sciences > Div of Psychology and Lang Sciences > UCL Interaction Centre
URI: https://discovery.ucl.ac.uk/id/eprint/16826
Downloads since deposit
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item