Toward a Multi-Method Approach to Formalizing Human-Automation Interaction and Human-Human Communications
Ellen J. Bass, Matthew L. Bolton, Karen M. Feigh, Dennis Griffith, Elsa Gunter, William Mansky, and John Rushby
IEEE International Conference on Systems, Man, and Cybernetics,
Anchorage, AK, Oct 2011, pp. 1817--1824
Abstract
Breakdowns in complex systems often occur as a
result of system elements interacting in ways unanticipated by
analysts or designers. The use of task behavior as part of a
larger, formal system model is potentially useful for analyzing
such problems because it allows the ramifications of different
human behaviors to be verified in relation to other aspects of
the system. A component of task behavior largely overlooked to
date is the role of human-human interaction, particularly human-
human communication in complex human-computer systems. We
are developing a multi-method approach based on extending
the Enhanced Operator Function Model language to address
human agent communications (EOFMC). This approach includes
analyses via theorem proving and future support for model
checking linked through the EOFMC top level XML description.
Herein, we consider an aviation scenario in which an air
traffic controller needs a flight crew to change the heading for
spacing. Although this example, at first glance, seems to be one
simple task, on closer inspection we find that it involves local
human-human communication, remote human-human commu-
nication, multi-party communications, communication protocols,
and human-automation interaction. We show how all these varied
communications can be handled within the context of EOFMC.
BibTeX Entry
@INPROCEEDINGS{Bass-etal:SMC11,
AUTHOR = {Ellen J. Bass and Matthew L. Bolton and Karen M. Feigh and
Dennis Griffith and Elsa Gunter and William Mansky and John Rushby},
TITLE = {Toward a Multi-Method Approach to Formalizing
Human-Automation Interaction and Human-Human Communications},
BOOKTITLE = {IEEE International Conference on Systems, Man, and Cybernetics},
PAGES = {1817--1824},
ADDRESS = {Anchorage, AK},
MONTH = oct,
YEAR = 2011
}
Having trouble reading our papers?
Return to John Rushby's bibliography page
Return to the Formal Methods Program home page
Return to the Computer Science Laboratory home page