Using formal verification to evaluate human-automation interaction: A review

ML Bolton, EJ Bass… - IEEE Transactions on …, 2013 - ieeexplore.ieee.org
Failures in complex systems controlled by human operators can be difficult to anticipate
because of unexpected interactions between the elements that compose the system …

1.1 WHY MODEL-BASED DESIGN AND EVALUATION OF INTERACTIVE APPLICATIONS?

F Paternò - 2000 - Springer
Interest in design and development of interactive software applications has increased
considerably over the last few years. The underlying reason for this interest is the need to …

A systematic approach to model checking human–automation interaction using task analytic models

ML Bolton, RI Siminiceanu… - IEEE Transactions on …, 2011 - ieeexplore.ieee.org
Formal methods are typically used in the analysis of complex system components that can
be described as “automated”(digital circuits, devices, protocols, and software). Human …

Generating phenotypical erroneous human behavior to evaluate human–automation interaction using model checking

ML Bolton, EJ Bass, RI Siminiceanu - International Journal of Human …, 2012 - Elsevier
Breakdowns in complex systems often occur as a result of system elements interacting in
unanticipated ways. In systems with human operators, human–automation interaction …

Cooperative aerial lift and manipulation (calm)

H Rastgoftar, EM Atkins - Aerospace Science and Technology, 2018 - Elsevier
This paper proposes a novel paradigm for aerial payload transport and object manipulation
by an unmanned aerial vehicle (UAV) team. This new paradigm, called cooperative payload …

Generating erroneous human behavior from strategic knowledge in task models and evaluating its impact on system safety with model checking

ML Bolton, EJ Bass - IEEE Transactions on Systems, Man, and …, 2013 - ieeexplore.ieee.org
Human-automation interaction, including erroneous human behavior, is a factor in the failure
of complex, safety-critical systems. This paper presents a method for automatically …

Properties for formally assessing the performance level of human-human collaborative procedures with miscommunications and erroneous human behavior

D Pan, ML Bolton - International Journal of Industrial Ergonomics, 2018 - Elsevier
Human-human interaction and collaboration is crucial to teamwork, where team members
work together to perform tasks and share information to ensure mutual understanding …

[图书][B] Multi-path development of user interfaces

Q Limbourg - 2004 - core.ac.uk
In software engineering transformational development is a paradigm consisting in the
progressive refinement of abstract models into concrete models, until program code. This …

Using a task modeling formalism in the design of serious games for emergency medical procedures

AC Vidani, L Chittaro - 2009 Conference in Games and Virtual …, 2009 - ieeexplore.ieee.org
Lack of standard methodologies to guide and organize game design can result in longer
and less predictable game production processes. Moreover, the need for interaction among …

Toward a multi-method approach to formalizing human-automation interaction and human-human communications

EJ Bass, ML Bolton, K Feigh, D Griffith… - … on Systems, Man …, 2011 - ieeexplore.ieee.org
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 …