Failures in complex systems controlled by human operators can be difficult to anticipate
because of unexpected interactions between the elements that compose the system …

Breakdowns in complex systems often occur as a result of system elements interacting in
unanticipated ways. In systems with human operators, human–automation interaction …

This chapter provides an overview of several formal approaches for the design,
specification, and verification of interactive systems. For each approach presented, we …

PVSio-web is a graphical environment for facilitating the design and evaluation of interactive
(human-computer) systems. Using PVSio-web, one can generate and evaluate realistic …

Use error due to user interface design defects is a major concern in many safety critical
domains, for example avionics and health care. Early detection of latent user interface …

One part of demonstrating that a device is acceptably safe, often required by regulatory
standards, is to show that it satisfies a set of requirements known to mitigate hazards. This …

A framework for co-simulation of human–machine interfaces in Cyber-Physical Systems
(CPS) is presented. The framework builds on formal (ie mathematical) methods. It aims to …

This paper is concerned with the scaleable and systematic analysis of interactive systems.
The motivating problem is the procurement of medical devices. In such situations several …

Model checking is a proven, effective method for verifying instrumentation and control
system application logics. If a model of the system being verified does not satisfy a …

Human-automation interaction (HAI) is often a contributor to failures in complex systems.
This is frequently due to system interactions that were not anticipated by designers and …