Study on Design Technology of the Safety Policy for Safety-Critical System

In order to guarantee the validity of safety-critical system and to prevent the system failure caused by user's improper operation,a general safety architecture and a safety policy model for safety-critical system are proposed.This paper took the nuclear power control system as the example and studied a FSM-based implementation of the safety policy,which can be used by any other safety-critical devices.