Formal analysis of human operator behavioural patterns in interactive surveillance systems |
| |
Authors: | Antonio Cerone Simon Connelly Peter Lindsay |
| |
Affiliation: | (1) International Institute for Software Technology, United Nations University, Macau SAR, China;(2) ARC Centre for Complex Systems, School of ITEE, The University of Queensland, Brisbane, Australia |
| |
Abstract: | An important area of Human Reliability Assessment in interactive systems is the ability to understand the causes of human
error and to model their occurrence. This paper investigates a new approach to analysis of task failures based on patterns
of operator behaviour, in contrast with more traditional event-based approaches. It considers, as a case study, a formal model
of an Air Traffic Control system operator’s task which incorporates a simple model of the high-level cognitive processes involved.
The cognitive model is formalised in the CSP process algebra. Various patterns of behaviour that could lead to task failure
are described using temporal logic. Then a model-checking technique is used to verify whether the set of selected behavioural
patterns is sound and complete with respect to the definition of task failure. The decomposition is shown to be incomplete
and a new behavioural pattern is identified, which appears to have been overlooked in the informal analysis of the problem.
This illustrates how formal analysis of operator models can yield fresh insights into how failures may arise in interactive
systems.
|
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|