A Formal Model Of Cognitive Processes For An Air Traffic Control Task

Connelly, Simon, Lindsay, Peter, Neal, Andrew and Humphreys, Mike (2001) A Formal Model Of Cognitive Processes For An Air Traffic Control Task. SVRC Tech Report 01-31, Software Verification Research Centre, School of Information Technology, The University Of Queensland.

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
svrc_01_31.pdf svrc_01_31.pdf application/pdf 375.52KB 224
svrc_01_31.ps svrc_01_31.ps Click to show the corresponding preview/stream application/postscript 5.26MB 148
Author Connelly, Simon
Lindsay, Peter
Neal, Andrew
Humphreys, Mike
Title A Formal Model Of Cognitive Processes For An Air Traffic Control Task
School, Department or Centre Software Verification Research Centre, School of Information Technology
Institution The University Of Queensland
Report Number SVRC Tech Report 01-31
Publication date 2001-08-01
Start page 1
End page 15
Total pages 15
Language eng
Subject 280104 Computer-Human Interaction
Abstract/Summary This document describes a formal model of the cognitive processes involved in a simplified Air Traffic Control task. The model has been developed as part of the SafeHCI project, which is investigating detection and prevention of human error in safety-critical systems. The model will serve as the basis for development of new techniques for prediction of error sources and classification of error types. This document describes the cognitive model in detail.
Keyword Human-computer interaction
human reliability assessment
user interfaces
air traffic control
safety critical systems
error prediction

Document type: Department Technical Report
Collection: School of Information Technology and Electrical Engineering Publications
 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Access Statistics: 540 Abstract Views, 372 File Downloads  -  Detailed Statistics
Created: Wed, 19 May 2004, 10:00:00 EST by Belinda Weaver (EA) on behalf of Marketing, Outreach and Corporate Services