Using formal verification to evaluate human-automation interaction: A review
Failures in complex systems controlled by human operators can be difficult to anticipate
because of unexpected interactions between the elements that compose the system …
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 …
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 …
be described as “automated”(digital circuits, devices, protocols, and software). Human …
Generating phenotypical erroneous human behavior to evaluate human–automation interaction using model checking
Breakdowns in complex systems often occur as a result of system elements interacting in
unanticipated ways. In systems with human operators, human–automation interaction …
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 …
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
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 …
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 …
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 …
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 …
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
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 …
ways unanticipated by analysts or designers. The use of task behavior as part of a larger …