NASA / TM-2000-209600 Some Formal Aspects of Human-Automation Interaction

  title={NASA / TM-2000-209600 Some Formal Aspects of Human-Automation Interaction},
  author={Asaf Degani and Michael Heymann and George Meyer and Michael Shafto},
The NASA STI Program Office is operated by Langley Research Center, the lead center for NASA's scientific and technical information. The NASA STI Program Office provides access to the NASA STI Database, the largest collection of aeronautical and space science STI in the world. The Program Office is also NASA's institutional mechanism for disseminating the results of its research and development activities. These results are published by NASA in the NASA STI Report Series, which includes the… CONTINUE READING

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 15 references

Modes in Human-Machine Systems: Constructs, representation, and classification

  • A. Degani, M. Shafto, A. Kirlik
  • International Journal of Aviation Psychology,
  • 1999

Transition to glass: pilot training for high-technology transport aircraft (NASA Contractor Report 208784)

  • E. L. Wiener, R. D. Chute, J. H. Moses
  • 1999

On formal abstraction and verification of human - machine interfaces : the discrete event case

  • M. Heymann, A. Degani
  • FMC altitude capture function reports . Search…
  • 1998

The Cognitive Complexity of Pilot-Mode Interaction: A Possible Explanation of Sarter & Woods' Classical Result

  • D. Javaux, V. De Keyser
  • Proceeding of the International Conference on…
  • 1998

Automation surprises

  • D. Woods, N. Sarter, C. Billings
  • 1997

Aviation automation: The search for a human centered approach

  • C. E. Billings
  • 1996

The interface between flightcrews and modern flight deck systems

  • K. Abbott, S. M. Slotte, D. K. Stimson
  • 1996

CAD: Computer aided disasters

  • P. Mellor
  • High Integrity Systems,
  • 1994

Similar Papers

Loading similar papers…