Human error analysis based on a semantically defined cognitive pilot model

Authors:
Andreas Lüdtke;Lothar Pfeifer
Affiliations:
OFFIS Institute for Information Technology, Oldenburg, Germany;OFFIS Institute for Information Technology, Oldenburg, Germany
Venue:
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
Year:
2007

Citing 4
Cited 1

The Psychology of Human-Computer Interaction

The Psychology of Human-Computer Interaction
A Compositional Real-Time Semantics of STATEMATE Designs

COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
A Specification of the Soar Cognitive Architecture in Z

A Specification of the Soar Cognitive Architecture in Z
Towards a unified model-based safety assessment

SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security

Less driving while driving? an approach for the estimation of effects of future vehicle automation systems on driver behavior

ICDHM'11 Proceedings of the Third international conference on Digital human modeling

Quantified Score

Hi-index	0.00

Visualization

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.