Title
Detection of Pilot Errors in Data by Combining Task Modeling and Model Checking
Abstract
In this paper we show a consistent approach of using Hierarchical Task Analysis together with model checking to identify pilot errors during the interaction with cockpit automation systems in aircraft. Task analysis is used to model flight procedures which describe how to operate a specific system in a particular situation. Afterwards model checking is used to identify deviations from these procedures in empirical simulator data. We envision applying this method to automatically detect pilot errors during flight tests or pilot training.
Year
DOI
Venue
2009
10.1007/978-3-642-03655-2_59
INTERACT (1)
Keywords
Field
DocType
cockpit automation system,model flight procedure,flight test,pilot training,model checking,hierarchical task analysis,particular situation,empirical simulator data,pilot error,pilot errors,combining task modeling,consistent approach,task analysis
Pilot training,Model checking,Task analysis,Computer science,Real-time computing,Automation,Human–computer interaction,Cockpit
Conference
Volume
ISSN
Citations 
5726
0302-9743
1
PageRank 
References 
Authors
0.52
6
3
Name
Order
Citations
PageRank
Florian Frische131.68
Tomasz Mistrzyk2232.93
Andreas Lüdtke33414.27