期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于RT-Linux防危保障机制的实验模型
1
作者
杨霞
熊光泽
+1 位作者
杨仕平
于逊
《单片机与嵌入式系统应用》
2003年第9期19-22,共4页
随着嵌入式实时系统在安全关键系统中日益广泛的应用,其软件不但要保证嵌入式实时系统的功能性和时间限制,对其安全性、稳定性和可靠性的要求也大大提高。软件错误的比例大大高于硬件错误,软件错误可能引起硬件误操作,进而直接威胁系统...
随着嵌入式实时系统在安全关键系统中日益广泛的应用,其软件不但要保证嵌入式实时系统的功能性和时间限制,对其安全性、稳定性和可靠性的要求也大大提高。软件错误的比例大大高于硬件错误,软件错误可能引起硬件误操作,进而直接威胁系统安全。使用防危核可有效防止关键设备误操作。本文以RT-Linux实时操作系统为平台,对十字路口交通灯控制建立安全实验模型,研讨防危核实现技术,为防危保障探索新的实现途径。
展开更多
关键词
RT-LINUX
实时操作系统
防
危
保障
机制
实验模型
图形用户界面
文件系统
内核模块
下载PDF
职称材料
安全关键系统的防危性技术研究
被引量:
9
2
作者
杨仕平
熊光泽
桑楠
《电子科技大学学报》
EI
CAS
CSCD
北大核心
2003年第2期164-168,共5页
为设计高防危性的安全关键系统,阐述了安全关键系统防危性的本质含义。并从设计方面研究防危性的实现机制,其中重点研究了基于防危核的高防危保障技术。同时提出了基于反射式技术的编程语言棗Open C++的实现机制,为防危核的实现探索了...
为设计高防危性的安全关键系统,阐述了安全关键系统防危性的本质含义。并从设计方面研究防危性的实现机制,其中重点研究了基于防危核的高防危保障技术。同时提出了基于反射式技术的编程语言棗Open C++的实现机制,为防危核的实现探索了新的途径,也为安全关键系统探索了有效的防危新机制。
展开更多
关键词
安全关键系统
防
危
性
防
危
核
反射
可信性
OpenC++
防危机制
软件
下载PDF
职称材料
题名
基于RT-Linux防危保障机制的实验模型
1
作者
杨霞
熊光泽
杨仕平
于逊
机构
成都电子科技大学
出处
《单片机与嵌入式系统应用》
2003年第9期19-22,共4页
基金
国防科技预研基金(2000J6.7.1.DZ0206)
国家十五项目(高可信赖的嵌入式实时操作系统)
文摘
随着嵌入式实时系统在安全关键系统中日益广泛的应用,其软件不但要保证嵌入式实时系统的功能性和时间限制,对其安全性、稳定性和可靠性的要求也大大提高。软件错误的比例大大高于硬件错误,软件错误可能引起硬件误操作,进而直接威胁系统安全。使用防危核可有效防止关键设备误操作。本文以RT-Linux实时操作系统为平台,对十字路口交通灯控制建立安全实验模型,研讨防危核实现技术,为防危保障探索新的实现途径。
关键词
RT-LINUX
实时操作系统
防
危
保障
机制
实验模型
图形用户界面
文件系统
内核模块
分类号
TP316 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
安全关键系统的防危性技术研究
被引量:
9
2
作者
杨仕平
熊光泽
桑楠
机构
电子科技大学计算机科学与工程学院
出处
《电子科技大学学报》
EI
CAS
CSCD
北大核心
2003年第2期164-168,共5页
基金
总装部预研基金项目
编号:2000J6.7.1.DZ0206
文摘
为设计高防危性的安全关键系统,阐述了安全关键系统防危性的本质含义。并从设计方面研究防危性的实现机制,其中重点研究了基于防危核的高防危保障技术。同时提出了基于反射式技术的编程语言棗Open C++的实现机制,为防危核的实现探索了新的途径,也为安全关键系统探索了有效的防危新机制。
关键词
安全关键系统
防
危
性
防
危
核
反射
可信性
OpenC++
防危机制
软件
Keywords
safety critical
safety
safety kernel
reflection
dependability
分类号
TP302.8 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于RT-Linux防危保障机制的实验模型
杨霞
熊光泽
杨仕平
于逊
《单片机与嵌入式系统应用》
2003
0
下载PDF
职称材料
2
安全关键系统的防危性技术研究
杨仕平
熊光泽
桑楠
《电子科技大学学报》
EI
CAS
CSCD
北大核心
2003
9
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部