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.