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.