Human error analysis based on a semantically defined cognitive pilot model

Abstract

In this paper an approach to formal analysis of potential human errors in the interaction with mode-based systems in modern aircraft cockpits is presented. We developed a cognitive model of pilot behaviour that is integrated with system design models in order to predict human errors and the resulting safety impact due to cognitive adaptation to frequently experienced flight scenarios during pilot-cockpit interaction. The paper focuses on the definition of a formal semantics for the pilot model as a basis for formal verification of pilot-system interaction. It is shown how formal verification can support debugging formal specifications of nominal flight procedures as well as producing Human Error Fault Trees. © Springer- Verlag Berlin Heidelberg 2007.