@inproceedings{Fri2009, Author = {Frische, Florian and Mistrzyk, Tomasz and Lüdtke, Andreas}, Title = {Detection of Pilot Errors in Data by combining Task Modeling and Model Checking}, Year = {2009}, Month = {09}, Organization = {University of Uppsala}, type = {inproceedings}, note = {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 whic}, 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.} } @COMMENT{Bibtex file generated on }