Book chapter
Enhanced Operator Function Model (EOFM): A Task Analytic Modeling Formalism for Including Human Behavior in the Verification of Complex Systems
The Handbook of Formal Methods in Human-Computer Interaction, pp 343-377
01 Jan 2017
Abstract
The enhanced operator function model (EOFM) is a task analytic modeling formalism that allows human behavior to be included in larger formal system models to support the formal verification of human interactive systems. EOFM is an expressive formalism that captures the behavior of individual humans or, with the EOFM with communications (EOFMC) extension, teams of humans as a collection of tasks, each composed representing a hierarchy of activities and actions. Further, EOFM has a formal semantics and associated translator that allow its represented behavior to be automatically translated into a model checking formalism for use in larger system verification. EOFM supports a number of features that enable analysts to use model checking to investigate human-automation and human-human interaction. Translator variants support the development of different task models with methods for accounting for erroneous human behaviors and miscommunications, the creation of specification properties, and the automated design of human-machine interfaces. This chapter provides an overview of EOFM, its language, its formal semantics and translation, and analysis features. It addresses the different ways that EOFM has been used to evaluate human behavior in human-interactive systems. We demonstrate some of the capabilities of EOFM by using it to evaluate the air traffic control case study. Finally, we discuss future directions of EOFM and its supported analyses.
Metrics
27 Record Views
Details
- Title
- Enhanced Operator Function Model (EOFM): A Task Analytic Modeling Formalism for Including Human Behavior in the Verification of Complex Systems
- Creators
- Matthew L. Bolton - State University of New YorkEllen J. Bass - Drexel University
- Contributors
- B Weyers (Editor)J Bowen (Editor)A Dix (Editor)P Palanque (Editor)
- Publication Details
- The Handbook of Formal Methods in Human-Computer Interaction, pp 343-377
- Series
- Human-Computer Interaction Series
- Publisher
- Springer Nature; CHAM
- Number of pages
- 35
- Resource Type
- Book chapter
- Language
- English
- Academic Unit
- Information Science
- Web of Science ID
- WOS:000419720800014
- Scopus ID
- 2-s2.0-105038461390
- Other Identifier
- 991019168362804721
InCites Highlights
Data related to this publication, from InCites Benchmarking & Analytics tool:
- Collaboration types
- Domestic collaboration
- Web of Science research areas
- Computer Science, Information Systems
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Ergonomics