PILOT-AUTOPILOT INTERACTION: A FORMAL PERSPECTIVE

This paper discusses a formal perspective to the analysis of user interaction with machines, in general, and pilot interaction with automated flight control systems, in particular. It addresses the issue of correct interaction between the user and the machine by asking whether the information provided to the user about the machine, and the display of this information, enables the user to perform his or her tasks reliably and successfully. We explain this perspective by looking at one example of pilot interaction with a modern autopilot.

[1]  D. Woods,et al.  Automation Surprises , 2001 .

[2]  Asaf Degani,et al.  Formal Aspects of Human-Automation Interaction , 1998 .

[3]  David Hughes.  AUTOMATED COCKPITS: SPECIAL REPORT (I) / , 1995 .

[4]  E. G. Lyman,et al.  NASA aviation safety reporting system , 1976 .

[5]  Charles E. Billings,et al.  Aviation Automation: The Search for A Human-centered Approach , 1996 .

[6]  Nadine B. Sarter,et al.  How in the World Did We Ever Get into That Mode? Mode Error and Awareness in Supervisory Control , 1995, Hum. Factors.

[7]  Alex Kirlik,et al.  Modes in Human-Machine Systems: Constructs, Representation, and Classification , 1999 .

[8]  G. Meyer,et al.  Some Formal Aspects of Human-Automation Interaction , 2002 .

[9]  John Rushby,et al.  Using model checking to help discover mode confusions and other automation surprises , 2002, Reliab. Eng. Syst. Saf..

[10]  Robert J. K. Jacob,et al.  A Specification Language for Direct-Manipulation User Interfaces , 1986, ACM Trans. Graph..

[11]  L. M. Sherer,et al.  RADIO TECHNICAL COMMISSION FOR AERONAUTICS , 1947 .

[12]  Jennifer Wilson,et al.  Flight Deck Automation issues , 1999 .

[13]  David Harel,et al.  On visual formalisms , 1988, CACM.

[14]  Alex Kirlik,et al.  MODES IN HUMAN-MACHINE SYSTEMS: REVIEW, CLASSIFICATION, AND APPLICATION , 1999 .

[15]  Lance Sherry,et al.  Shared Models of Flight Management System Vertical Guidance , 1999 .

[16]  D A Norman,et al.  The 'problem' with automation: inappropriate feedback and interaction, not 'over-automation'. , 1990, Philosophical transactions of the Royal Society of London. Series B, Biological sciences.

[17]  David L. Parnas,et al.  On the use of transition diagrams in the design of a user interface for an interactive computer system , 1969, ACM '69.