安全關(guān)鍵系統(tǒng)的防危性技術(shù)研究

為設(shè)計(jì)高防危性的安全關(guān)鍵系統(tǒng)，闡述了安全關(guān)鍵系統(tǒng)防危性的本質(zhì)含義。并從設(shè)計(jì)方面研究防危性的實(shí)現(xiàn)機(jī)制，其中重點(diǎn)研究了基于防危核的高防危保障技術(shù)。同時(shí)提出了基于反射式技術(shù)的編程語言——Open C++的實(shí)現(xiàn)機(jī)制，為防危核的實(shí)現(xiàn)探索了新的途徑，也為安全關(guān)鍵系統(tǒng)探索了有效的防危新機(jī)制。
關(guān) 鍵 詞 安全關(guān)鍵; 防危性; 防危核; 反射; 可信性

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