| 安全关键系统的防危性技术研究 |
| |
| 引用本文： | 杨仕平,熊光泽,桑楠.安全关键系统的防危性技术研究[J].电子科技大学学报(社会科学版),2003(2). |
| |
| 作者姓名： | 杨仕平 熊光泽 桑楠 |
| |
| 作者单位： | 电子科技大学计算机科学与工程学院 成都610054
(杨仕平，熊光泽)，电子科技大学计算机科学与工程学院 成都610054(桑楠) |
| |
| 基金项目： | 总装部预研基金项目，编号:2000J6.7.1.DZ0206 |
| |
| 摘 要： | 为设计高防危性的安全关键系统,阐述了安全关键系统防危性的本质含义。并从设计方面研究防危性的实现机制,其中重点研究了基于防危核的高防危保障技术。同时提出了基于反射式技术的编程语言棗Open C++的实现机制,为防危核的实现探索了新的途径,也为安全关键系统探索了有效的防危新机制。
|
| 关 键 词： | 安全关键 防危性 防危核 反射 可信性 |
Research on Safety Technology of Safety Critical Systems |
| |
| Yang Shiping,Xiong Guangze,Sang Nan.Research on Safety Technology of Safety Critical Systems[J].Journal of University of Electronic Science and Technology of China(Social Sciences Edition),2003(2). |
| |
| Authors: | Yang Shiping Xiong Guangze Sang Nan |
| |
| Abstract: | |
| |
| Keywords: | safety critical safety safety kernel reflection dependability |
| 本文献已被 CNKI 等数据库收录！ |
