Using GOMS for user interface design and evaluation: which technique?
ACM Transactions on Computer-Human Interaction (TOCHI)
CTTE: support for developing and analyzing task models for interactive system design
IEEE Transactions on Software Engineering
AMBOSS: A Task Modeling Approach for Safety-Critical Systems
HCSE-TAMODIA '08 Proceedings of the 2nd Conference on Human-Centered Software Engineering and 7th International Workshop on Task Models and Diagrams
Model-checking user behaviour using interacting components
Formal Aspects of Computing
Error patterns: systematic investigation of deviations in task models
TAMODIA'06 Proceedings of the 5th international conference on Task models and diagrams for users interface design
On the benefit of synergistic model-based approach forsafety critical interactive system testing
TAMODIA'07 Proceedings of the 6th international conference on Task models and diagrams for user interface design
Cognitive modelling of pilot errors and error recovery in flight management tasks
HESSD'09 Proceedings of the 7th FIP WG 13.5 international conference on Human Error, Safety and Systems Development
| Hi-index | 0.00 |
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.