safety-critical system
A computer, electronic or electromechanical system whose
failure may cause injury or death to human beings. E.g. an
aircraft or nuclear power station control system. Common
tools used in the design of safety-critical systems are
{redundancy} and {formal methods}.
See also {aeroplane rule}.