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

• 作者: 杨仕平 桑楠 熊光泽
• 来源期刊: 电子科技大学学报
• 学科: 工学
• 关键词: 安全关键 防危性 防危核 反射 可信性
• 年，卷（期）: 2003,（2）
• 所属期刊栏目: 学术论文与技术报告
• 页码范围: 164-168
• 页数: 5页
• 分类号: TP302.8
• 字数: 4268字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0548.2003.02.013

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	桑楠	电子科技大学计算机科学与工程学院	105	1275	18.0	30.0
2	熊光泽	电子科技大学计算机科学与工程学院	148	2069	24.0	38.0
3	杨仕平	电子科技大学计算机科学与工程学院	16	262	8.0	16.0