Computing That Serves

Colloquium: Analyzing Human-human Coordination and Human-automation Interaction via Model Checking using Formal Task Analytic Methods and Au


Thursday, February 6, 2014 - 11:00am


Ellen Bass


Eric Mercer

Breakdowns in complex systems often occur as a result of human operators and system elements interacting in unanticipated ways. Human-human coordination and human–automation interaction associated with both normative and erroneous human behavior can contribute to such failures. Model-driven design and analysis techniques provide engineers with formal verification tools and techniques capable of evaluating how human behavior can contribute to system failures. Enhanced Operator Function Model with Communications (EOFMC) is a task analytic modeling formalism for modeling human-human coordination and human-automation interaction. When EOFMC models are instantiated, they can be translated and interpreted by a model checker. This talk introduces EOFMC and demonstrates a case study showing how miscommunications and erroneous human behavior  can be generated from instantiated EOFMC models and used in model checking analyses in order to address potential human-human coordination and human–automation interaction problems in complex systems.


Ellen J. Bass is a Professor in the College of Computing and Informatics and the College of Nursing and Health Professions at Drexel University. She develop theories of human performance, quantitative modeling methodologies, and associated experimental designs that can be used to evaluate human-automation interaction and human-human collaboration in the context of total system performance. Her research contributions can be decomposed into four synergistic areas: a) Characterizing human judgment and decision making; b) Modeling human judgment when supported by information automation; c) Computational models of human-human and human-automation coordination; and d) Design and evaluation of socio-technical system interventions to improve human judgment and decision making. Bass is a member of the Board on Human-Systems Integration (BOHSI) of the National Academy of Sciences. She is the Editor-in-Chief for the IEEE Transactions on Human-Machine Systems and a member of the editorial boards for the IIE Transaction on Occupational Ergonomics and Human Factors, the IIE Transactions on Healthcare Systems Engineering and Human Factors. She is the Chair of the Cognitive Engineering and Decision Making (CEDM) Technical Group of the Human Factors and Ergonomics Society (HFES).