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

摘要：

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

关键词：安全关键、防危性、防危核、反射、可信性

所属期刊栏目：32

分类号：TP302.8(计算技术、计算机技术)

资助基金：总装备部预研项目2000J6.7.1.DZ0206

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：164-168