Abstract
Human operators use mental models to guide their interaction with automated systems.We can “model the human” by constructing explicit descriptions of plausible mental models. Using mechanized formal methods, we can then calculate divergences between the actual system behavior and that suggested by the mental model. These divergences indicate possible automation surprises and other human factors problems and suggest places where the design should be improved.
This research was supported by the DARPA SEC program through USAF Rome Laboratory contract F33615-00-C-3043 and by NASA Langley Research Center through contract NAS1- 00079.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Charles E. Billings. Aviation Automation:The Search for a Human-Centered Approach. Human Factors in Transportation. Lawrence Erlbaum Associates, Mahwah, NJ, 1997.
Howard Bowman and Giorgio Faconti. Analysing cognitive behaviour using LOTOS and Mexitl. Formal Aspects of Computing, 11(2):132–159, 1999.
S. K. Card, T. P. Moran, and A. Newell. The psychology of human-computer interaction. Lawrence Erlbaum Associates, Hillsdale, NJ, 1983.
K. Craik. The Nature of Explanation. Cambridge University Press, Cambridge, UK, 1943.
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-Aero 2000, pages 163–168, Cépaduès-Éditions, Toulouse, France, September 2000.
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.
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.
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.
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.
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.
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.
Philip N. Johnson-Laird. The Computer and the Mind: An Introduction to Cognitive Science. Harvard University Press, 1989.
C. B. Jones. Tentative steps toward a development method for interfering programs. ACM TOPLAS, 5(4):596–619, 1983.
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”.
Steven Pinker. How the Mind Works. W. W. Norton, New York, NY, 1997.
Jens Rasmussen. Information Processing and Human-Machine Interaction:An Approach to Cognitive Engineering. Elsevier, New York, NY, 1986.
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.
James Reason. Human Error. Cambridge University Press, Cambridge, UK, 1990.
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.
John Rushby. Using model checking to help discover mode confusions and other automation surprises. In Javaux and Keyser [10].
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.
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.
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.
Sanjay S. Vakil and R. John Hansman. Approaches to mitigating complexity-driven issues in commercial autoflight systems. In Javaux and Keyser [10].
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rushby, J. (2001). Modeling the Human in Human Factors. In: Voges, U. (eds) Computer Safety, Reliability and Security. SAFECOMP 2001. Lecture Notes in Computer Science, vol 2187. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45416-0_9
Download citation
DOI: https://doi.org/10.1007/3-540-45416-0_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42607-3
Online ISBN: 978-3-540-45416-8
eBook Packages: Springer Book Archive