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

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 …

Both the human factors engineering (HFE) and formal methods communities are concerned
with improving the design of safety-critical systems. This work discusses a modeling effort …

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

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 …

This paper discusses a formal and rigorous approach to the analysis of operator interaction
with machines. It addresses the acute problem of detecting design errors in human-machine …

The current cognitive engineering literature includes a broad range of models of human–
automation interaction (HAI) in complex systems. Some of these models characterize types …

Automation is ubiquitous in modern complex systems, and commercial nuclear-power plants
are no exception. Beyond controlling the plant's functions and systems, automation is …

Interactive safety-critical applications have specific requirements that cannot be completely
captured by traditional evaluation techniques. In this paper, we discuss how to perform a …

This book introduces the reader to the subject of Human Factors and provides practical and
pragmatic advice to assist engineers in designing interactive systems that are safer, more …