Abstract: Since software is being used in the control system largely,the possibility of serious damage resulting from a software defect is considerable and growing, and then the control systems are plunging into safety crisis. In fact, control systems are in urgent

Key words: Safety kernel, Dependability, Safety policy, Safety critical systems, Formal method, Traffic light