SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
     
  SRI Logo

Modeling the Human in Human Factors (Extended Abstract)
 by Dr. John Rushby.

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 8691.


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.
BibTEX Entry
@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/}
}
Files
 













 

About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2017 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy