A computer, electronic or electromechanical system whosefailure may cause injury or death to human beings. E.g. anaircraft or nuclear power station control system. Commontools used in the design of safety-critical systems areredundancy and formal methods.