Communicating sequential processes
Communicating sequential processes
Safeware: system safety and computers
Safeware: system safety and computers
Model checking
Towards model based prediction of human error rates in interactive systems
AUIC '01 Proceedings of the 2nd Australasian conference on User interface
Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems
INTERACT '97 Proceedings of the IFIP TC13 Interantional Conference on Human-Computer Interaction
Reasoning about Human Error and System Failure for Accident Analysis
INTERACT '97 Proceedings of the IFIP TC13 Interantional Conference on Human-Computer Interaction
Towards a User-Friendly Design and Verification Environment
SEW '02 Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop (SEW-27'02)
Formal Analysis of Human-computer Interaction using Model-checking
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Automated framework for formal operator task analysis
Proceedings of the 2011 International Symposium on Software Testing and Analysis
Hi-index | 0.00 |
This paper introduces a new approach to formalising analysis of human errors in human-computer interaction. The approach takes account of the cognitive processes involved in a task, and how mistakes arise and how errors propagate through the task. It argues for modelling errors as behaviours rather than as events (the usual approach), at least for tasks involving highly interleaved concurrent, ongoing activities. The models are formalised using a combination of CSP and temporal logic, and the approach is illustrated on a case study from Air Traffic Control. By providing a richer modelling framework and being more expressive, the approach overcomes significant limitations of existing human-error identification techniques.