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

Given the complexity of healthcare and the 'people'nature of healthcare work and delivery,
STSA (Sociotechnical Systems Analysis) research is needed to address the numerous …

Recent developments in manufacturing technologies, also known as Industry 4.0, seek to
build Smart Factories where supply chains and production lines are equipped with a higher …

A crucial aspect of physical human-robot collaboration (HRC) is to maintain a safe common
workspace for human operator. However, close proximity between human-robot and …

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 …

The quality of usability testing is highly dependent upon the associated usability scenarios.
To promote usability testing as part of electronic health record (EHR) certification, the Office …

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

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 …

The rapidly increasing pervasiveness and integration of computers in human society calls
for a broad discipline under which this development can be studied. We argue that to design …

Formal methods have been making inroads into the engineering of human–automation
interaction (HAI) by allowing engineers to use mathematical proofs to determine whether …