Detection of Pilot Errors in Data by combining Task Modeling and Model Checking

Frische, Florian and Mistrzyk, Tomasz and Lüdtke, Andreas
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.
09 / 2009
University of Uppsala
Model-based Analysis of Human Errors during Aircraft Cockpit System Design