Formalising Human Error Resistance And Human Error Tolerance

A key aim of human-machine interface design for aircraft control systems it to preventpilot errors from jeopardising the safety of the aircraft. In terms of safety engineeringdesigners should seek designs that minimise the risk of human error. To achieve thisdesigners should aim to produce designs for control systems that minimise theprobability of human errors occurring, and that minimise the adverse consequenceswhen such errors do occur.In this paper we show how, by using formal...