Modeling the Human in Human Factors

John Rushby

Extended abstract for an invited paper presented at SafeComp 2001: 20th International Conference on Computer Safety, Reliability, and Security, Budapest, Hungary, September 2001.

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.

gzipped postscript, or plain postscript or PDF or crude ascii (for your Palm Pilot)

Slides

gzipped postscript, or plain postscript or pdf or crude ascii (for your Palm Pilot)

Second talk

I gave a second talk at Safecomp (it actually came first in the program). The material for that talk is available here

BibTeX Entry


@INPROCEEDINGS{Rushby01:safecomp,
	AUTHOR = {John Rushby},
	TITLE = {Modeling the Human in Human Factors (Extended Abstract)},
	BOOKTITLE = {{{\sc SafeComp}} 2001: Proceedings of the 20th International
		Conference on Computer Safety, Reliability, and Security},
	YEAR = 2001,
	EDITOR = {Udo Voges},
	PUBLISHER = {Springer-Verlag},
	ADDRESS = {Budapest, Hungary},
	MONTH = sep,
	SERIES = {Lecture Notes in Computer Science},
	VOLUME = 2187,
	PAGES = {86--91}
}
Having trouble reading our papers?
Return to the Formal Methods Program home page
Return to the Computer Science Laboratory home page