Statecharts: A visual formalism for complex systems
Science of Computer Programming
The Z notation: a reference manual
The Z notation: a reference manual
Safeware: system safety and computers
Safeware: system safety and computers
Windows Interface Guidelines for Software Design
Windows Interface Guidelines for Software Design
Human Factors in Safety-Critical Systems
Human Factors in Safety-Critical Systems
Principles for a Usability-Oriented Pattern Language
OZCHI '98 Proceedings of the Australasian Conference on Computer Human Interaction
Human-Computer Interaction
Modelling erroneous operator behaviours for an air-traffic control task
AUIC '02 Proceedings of the Third Australasian conference on User interfaces - Volume 7
Usability of online grocery systems: a focus on errors
OZCHI '06 Proceedings of the 18th Australia conference on Computer-Human Interaction: Design: Activities, Artefacts and Environments
HSI'09 Proceedings of the 2nd conference on Human System Interactions
AHPM as a proposal to improve interaction with air traffic controllers
HCI'13 Proceedings of the 15th international conference on Human-Computer Interaction: interaction modalities and techniques - Volume Part IV
Hi-index | 0.00 |
Growing use of computers in safety-critical systems increases the need for Human Computer Interfaces (HCIs) to be both smarter - to detect human errors - and better designed - to reduce likelihood of errors. We are developing methods for determining the likelihood of operator errors which combine current theory on the psychological causes of human errors with formal methods for modelling human-computer interaction. We present the models of the HCI and operator in an air-traffic control (ATC) system simulation, and discuss the role of these in the prediction of human error rates.