為設計高防危性的安全關鍵系統，闡述了安全關鍵系統防危性的本質含義。并從設計方面研究防危性的實現機制，其中重點研究了基于防危核的高防危保障技術。同時提出了基于反射式技術的編程語言——Open C++的實現機制，為防危核的實現探索了新的途徑，也為安全關鍵系統探索了有效的防危新機制。
關 鍵 詞 安全關鍵; 防危性; 防危核; 反射; 可信性

Abstract In order to design the high safety of safety critical systems, in the paper, the nature of safety of safety critical systems was narrated in detail, established good theory foundation for designing high dependability safety critical systems. At the same time, realization mechanisms of safety were deeply discussed, and high safety safeguard technology based on safety kernel was emphatically researched. In order to realize safety kernel, a kind of programming language based on reflective theory——Open C++ was brought forward, exploring a new approach used to realize safety kernel, at the same time, a novel safeguard mechanism based on safety kernel is adaptable for other safety critical systems.
Key words safety critical；safety；safety kernel；reflection；dependability