An approach to formal verification of human–computer interaction
Formal Aspects of Computing
A framework for reasoning about the human in the loop
UPSEC'08 Proceedings of the 1st Conference on Usability, Psychology, and Security
Using stroop task to assess cognitive load
Proceedings of the 28th Annual European Conference on Cognitive Ergonomics
Hi-index | 0.00 |
Ground vehicles are increasingly designed to incorporate autonomous control for better performance, control and efficiency. Such control is particularly critical for military logistics vehicles where drivers are carrying sensitive loads through potentially threatening routes. It is imperative therefore to evaluate what role does autonomy play to help safety, and whether drivers trust autonomous control. In this paper we investigate the use of semi-autonomous vehicles used for military logistics and carry out human factors analysis to reflect on trust and safety issues that emerge from the driving of such vehicles.