安全关键系统的防危性技术研究

为设计高防危性的安全关键系统，阐述了安全关键系统防危性的本质含义。并从设计方面研究防危性的实现机制，其中重点研究了基于防危核的高防危保障技术。同时提出了基于反射式技术的编程语言——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