Modeling the human in human factors

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2187, Issue , 2001, Pages 86-91

  Rushby, John ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COGNITIVE SYSTEMS; FORMAL METHODS; HUMAN ENGINEERING;

ACTUAL SYSTEM; AUTOMATED SYSTEMS; HUMAN OPERATOR; MENTAL MODEL;

AUTOMATION;

EID: 84957041040     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45416-0_9     Document Type: Conference Paper

References (24)

1. Charles E. Billings. Aviation Automation: The Search for a Human-Centered Approach. Human Factors in Transportation. Lawrence Erlbaum Associates, Mahwah, NJ, 1997.
2. Howard Bowman and Giorgio Faconti. Analysing cognitive behaviour using LOTOS and Mexitl. Formal Aspects of Computing, 11(2):132–159, 1999.
3. S. K. Card, T. P. Moran, and A. Newell. The psychology of human-computer interaction. Lawrence Erlbaum Associates, Hillsdale, NJ, 1983.
4. K. Craik. The Nature of Explanation. Cambridge University Press, Cambridge, UK, 1943.
5. Judith Crow, Denis Javaux, and John Rushby. Models and mechanized methods that integrate human factors into automation design. In Kathy Abbott, Jean-Jacques Speyer, and Guy Boy, editors, International Conference on Human-Computer Interaction in Aeronautics:HCI-Aer o 2000, pages 163–168, Cépaduès-Éditions, Toulouse, France, September 2000.
6. David Duke and David Duce. The formalization of a cognitive architecture and its application to reasoning about human computer interaction. Formal Aspects of Computing, 11(6):665–689, 1999.
7. Edmund Eberleh. The structure of mental models: Goal directed or state centered? In F. Klix, N. A. Streitz, Y. Waern, and H. Wandke, editors, MACINTER II:Man-Computer Interaction Research. pages 89–103, Elsevier, 1989.
8. The interfaces between flightcrews and modern flight deck systems. Report of the FAA human factors team, Federal Aviation Administration, 1995. Available at http://www.faa.gov/avr/afs/interfac.pdf.
9. Denis Javaux. Explaining Sarter and Woods’ classical results. In Nancy Leveson and Chris Johnson, editors, SecondWorkshop on Human Error, Safety, and Software Design, University of Washington, Seatle, WA, April 1998.
10. Denis Javaux and Véronique De Keyser, editors. Proceedings of the 3rdWorkshop on Human Error, Safety, and System Development (HESSD’99), University of Liege, Belgium, June 1999.
11. Bonnie E. John and David E. Kieras. The GOMS family of user interface analysis techniques: Comparison and contrast. ACM Transactions on Computer-Human Interaction, 3(4):320–351, December 1996.
12. Philip N. Johnson-Laird. The Computer and the Mind: An Introduction to Cognitive Science. Harvard University Press, 1989.
13. C. B. Jones. Tentative steps toward a development method for interfering programs. ACM TOPLAS, 5(4):596–619, 1983.
14. Donald A. Norman. The Psychology of Everyday Things. Basic Books, New York, NY, 1988. Also available in paperback under the title “The Design of Everyday Things”.
15. Steven Pinker. How the Mind Works. W. W. Norton, New York, NY, 1997.
16. Jens Rasmussen. Information Processing and Human-Machine Interaction: An Approach to Cognitive Engineering. Elsevier, New York, NY, 1986.
17. Jens Rasmussen. Mental models and the control of action in complex environments. In D. Ackermann and M. J. Tauber, editors, Mental Models and Human-Computer Interaction: 1, pages 41–69. Elsevier, New York, NY, 1990.
18. James Reason. Human Error. Cambridge University Press, Cambridge, UK, 1990.
19. Frank E. Ritter, Gordon D. Baxter, Gary Jones, and Richard M. Young. Supporting cognitive models as users. ACM Transactions on Computer-Human Interaction, 7(2):141–173, June 2000.
20. John Rushby. Using model checking to help discover mode confusions and other automation surprises. In Javaux and Keyser [10].
21. John Rushby. Analyzing cockpit interfaces using formal methods. In H. Bowman, editor, Proceedings of FM-Elsewhere, Electronic Notes in Theoretical Computer Science, Elsevier, Pisa, Italy, October 2000. Available at http://www.elsevier.nl/locate/entcs/volume43.html.
22. N. B. Sarter and D. D. Woods. How in the world did we ever get into that mode? Mode error and awareness in supervisory control. Human Factors, 37(1):5–19, 1995.
23. N. B. Sarter, D. D. Woods, and C. E. Billings. Automation surprises. In Gavriel Salvendy, editor, Handbook of Human Factors and Ergonomics. John Wiley and Sons, second edition, 1997.
24. Sanjay S. Vakil and R. John Hansman. Approaches to mitigating complexity-driven issues in commercial autoflight systems. In Javaux and Keyser [10]. Papers on formal methods and automated verification by SRI authors can generally be located by a search at http://www.csl.sri.com.