Volume 2187.
From \sc SafeComp 2001: Proceedings of the 20th International Conference on Computer Safety, Reliability, and Security.
Edited by Udo Voges.
Springer-Verlag, Budapest, Hungary.
September, 2001.
Pages 86–91.

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.

@inproceedings{safecomp01,
  AUTHOR = {John Rushby},
  TITLE = {Modeling the Human in Human Factors (Extended Abstract)},
  BOOKTITLE = {\backslashsc SafeComp 2001: Proceedings of the 20th International Conference on Computer Safety, Reliability, and Security\}},
  YEAR = {2001},
  EDITOR = {Udo Voges},
  VOLUME = {2187},
  PAGES = {86--91},
  ADDRESS = {Budapest, Hungary},
  MONTH = {sep},
  PUBLISHER = {Springer-Verlag},
  URL = {http://www.csl.sri.com/papers/safecomp01/}
}

• safecomp01.pdf
• safecomp01.ps
• safecomp01.ps.gz
• safecomp01.txt