Research on assurance technology of safety kernel consistency

Safety-critical real-time systems(SCRTS) often operate in harsh environmental conditions that necessitate fault-tolerant computing and safety assurance techniques.By defining the concept of ideal safety policy and setting up its structuring algorithm,a solution based on formal description is put forward.We use it to assure the consistence between safety policies and system safety requirements.Furthermore,using Z language,a feasibility method to prove the consistency between the safety kernel and safety policies is constructed.At last,taking the control system in the traffic lights as an example,the whole process and its correctness is proved.