Book chapter
Evaluating Human-Human Communication Protocols with Miscommunication Generation and Model Checking
NASA Formal Methods, pp 48-62
2013
Abstract
Human-human communication is critical to safe operations in domains such as air transportation where airlines develop and train pilots on communication procedures with the goal to ensure that they check that verbal air traffic clearances are correctly heard and executed. Such communication protocols should be designed to be robust to miscommunication. However, they can fail in ways unanticipated by designers. In this work, we present a method for modeling human-human communication protocols using the Enhanced Operator Function Model with Communications (EOFMC), a task analytic modeling formalism that can be interpreted by a model checker. We describe how miscommunications can be generated from instantiated EOFMC models of human-human communication protocols. Using an air transportation example, we show how model checking can be used to evaluate if a given protocol will ensure successful communication. Avenues of future research are explored.
Metrics
11 Record Views
10 citations in Scopus
Details
- Title
- Evaluating Human-Human Communication Protocols with Miscommunication Generation and Model Checking
- Creators
- Matthew L. Bolton - University of Illinois at ChicagoEllen J. Bass - Drexel University
- Publication Details
- NASA Formal Methods, pp 48-62
- Series
- Lecture Notes in Computer Science
- Publisher
- Springer Berlin Heidelberg; Berlin, Heidelberg
- Resource Type
- Book chapter
- Language
- English
- Academic Unit
- Information Science
- Scopus ID
- 2-s2.0-84883384807
- Other Identifier
- 991019173973104721