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

Research on Safety Technology of Safety Critical Systems

作　　者：杨仕平[1] 熊光泽[1] 桑楠[1] 

机构地区：[1]电子科技大学计算机科学与工程学院,成都610054

出　　处：《电子科技大学学报》2003年第2期164-168,共5页Journal of University of Electronic Science and Technology of China

基　　金：总装部预研基金项目;编号:2000J6.7.1.DZ0206

摘　　要：为设计高防危性的安全关键系统,阐述了安全关键系统防危性的本质含义。并从设计方面研究防危性的实现机制,其中重点研究了基于防危核的高防危保障技术。同时提出了基于反射式技术的编程语言棗Open C++的实现机制,为防危核的实现探索了新的途径,也为安全关键系统探索了有效的防危新机制。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.

关 键 词：安全关键系统 防危性 防危核 反射 可信性 OpenC++ 防危机制 软件 

分 类 号：TP302.8[自动化与计算机技术—计算机系统结构]