Conference proceeding
Toward a Multi-method Approach to Formalizing Human-automation Interaction and Human-human Communications
2011 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), pp 1817-1824
01 Jan 2011
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 communication, multi-party communications, communication protocols, and human-automation interaction. We show how all these varied communications can be handled within the context of EOFMC.
Metrics
Details
- Title
- Toward a Multi-method Approach to Formalizing Human-automation Interaction and Human-human Communications
- Creators
- Ellen J. Bass - University of VirginiaMatthew L. Bolton - University of VirginiaKaren Feigh - Georgia Institute of TechnologyDennis Griffith - University of Illinois Urbana-ChampaignElsa Gunter - University of Illinois Urbana-ChampaignWilliam Mansky - University of Illinois Urbana-ChampaignJohn Rushby - SRI InternationalIEEE
- Publication Details
- 2011 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), pp 1817-1824
- Series
- IEEE International Conference on Systems Man and Cybernetics Conference Proceedings
- Publisher
- IEEE
- Number of pages
- 8
- Resource Type
- Conference proceeding
- Language
- English
- Academic Unit
- Information Science
- Web of Science ID
- WOS:000298615102017
- Scopus ID
- 2-s2.0-83755186753
- Other Identifier
- 991019292224304721
InCites Highlights
Data related to this publication, from InCites Benchmarking & Analytics tool:
- Collaboration types
- Domestic collaboration
- Web of Science research areas
- Computer Science, Artificial Intelligence
- Computer Science, Cybernetics
- Computer Science, Information Systems