Simulation of air traffic controllers' behaviour using the operator choice model

The Operator Choice Model (OCM) was developed to model the behaviour of operators attending to complex tasks involving interdependent concurrent activities, such as in Air Traffic Control (ATC). The purpose of the OCM is to provide a flexible framework for modelling and simulation that can be used for quantitative analyses in human reliability assessment, comparison between human computer interaction (HCI) designs, and analysis of operator workload. The OCM virtual operator is essentially a cycle of four processes: Scan Classify Decide Action Perform Action. Once a cycle is complete, the operator will return to the Scan process. It is also possible to truncate a cycle and return to Scan after each of the processes. These processes are described using Continuous Time Probabilistic Automata (CTPA). The details of the probability and timing models are specific to the domain of application, and need to be specified using domain experts. We are building an application of the OCM for use in ATC. In order to develop a realistic model we are calibrating the probability and timing models that comprise each process using experimental data from a series of experiments conducted with student subjects. These experiments have identified the factors that influence perception and decision making in simplified conflict detection and resolution tasks. This paper presents an application of the OCM approach to a simple ATC conflict detection experiment. The aim is to calibrate the OCM so that its behaviour resembles that of the experimental subjects when it is challenged with the same task. Its behaviour should also interpolate when challenged with scenarios similar to those used to calibrate it. The approach illustrated here uses logistic regression to model the classifications made by the subjects. This model is fitted to the calibration data, and provides an extrapolation to classifications in scenarios outside of the calibration data. A simple strategy is used to calibrate the timing component of the model, and the results for reaction times are compared between the OCM and the student subjects. While this approach to timing does not capture the full complexity of the reaction time distribution seen in the data from the student subjects, the mean and the tail of the distributions are similar.

Formal analysis of human-computer interaction using model checking

Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in human reliability assessment (HRA). This paper investigates an approach to task failure analysis based on patterns of behaviour, by contrast to more traditional event-based approaches. It considers, as a case study, a formal model of an air traffic control (ATC) system which incorporates controller behaviour. The cognitive model is formalised in the CSP process algebra. Patterns of behaviour are expressed as temporal logic properties. Then a model-checking technique is used to verify whether the decomposition of the operator's behaviour into patterns is sound and complete with respect to the cognitive model. The decomposition is shown to be incomplete and a new behavioural pattern is identified, which appears to have been overlooked in the analysis of the data provided by the experiments with the simulator. This illustrates how formal analysis of operator models can yield fresh insights into how failures may arise in interactive systems.

The relationship between extra-role behaviours and job burnout for primary school teachers: A preliminary model and development of an organisational citizenship behaviour scale

Recent research on teacher stress in primary schools (e.g. Leonard, Bourke & Schofield, 1999) has shown that higher levels of teacher exhaustion are associated with higher levels of student satisfaction. This paper seeks to explain this surprising finding by considering a construct discussed widely in the organisational literature known as extra-role or organisational citizenship behaviour (OCB). Teacher OCB may include extra efforts to make lessons enjoyable and interesting, organising extra-curricular activities and spending personal time talking with students. The proposed model of analysis also draws on literature relating to job burnout (Maslach, 1982), which generally suggests that the three components of chronic occupational stress - exhaustion, depersonalisation and reduced accomplishment - occur together. However, this paper proposes that although teachers who engage in more OCB experience more exhaustion, they may simultaneously increase their feelings of personal accomplishment and work identification, which may in turn help to avert burnout. It is argued that only with this particular set of job attitudes are the effects of exhaustion caused by high levels of OCB sufficiently buffered to avoid job burnout, and thus positively affect students' quality of school life. The development and piloting of an instrument to measure teachers' OCB will be discussed. The preliminary findings reported herein are part of a larger ongoing study investigating the consequences of stress and OCB in primary school teachers.