资料来源 : Free On-Line Dictionary of Computing

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}.