-
题名基于多级关键度的高可信安全关键系统
被引量：2
- 1
-
-
作者
杨仕平
桑楠
吴新勇
熊光泽
-
机构
电子科技大学计算机科学与工程学院
-
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2004年第2期277-282,共6页
-
基金
国家"十五"基金(41315040106)
国防科技预研基金(2000J6.7.1.DZ0206)资助课题
-
文摘
为增强安全关键系统的可信性,在分析高可信保障机制现状的基础上,提出了一种集成式的高可信保障体系结构。为防止不同关键度子系统间的有害干扰,在分析信息安全领域内多级安全保障机制的基础上,研究了不同关键度子系统相互作用时应遵守的防危访问控制规则。为实现该规则,采用了基于元对象的反射技术,并就如何使用反射技术实现不同关键度子系统间的可靠互动进行了详细讨论。最后,给出了实验结果,同时就该领域内的相关工作及发展方向进行了展望。
-
关键词
安全关键系统
多级关键度
防危核
反射技术
安全保障机制
信息安全
计算机安全
-
Keywords
safety critical
multilevel criticality
safety kernel
high dependability
reflection technology
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名可支持多级关键度任务的实时操作系统
被引量：1
- 2
-
-
作者
杨仕平
黄耕文
刘校矢
-
机构
广州海格通信有限公司研发中心
-
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2006年第4期615-619,共5页
-
基金
国家"十五"项目(41315040106)
国防科技预研基金(2000J6.7.1.DZ0206)资助课题
-
文摘
为设计可支持多级关键度任务的军用实时操作系统MRTOS,首先分析了现有实时操作系统的调度机制。同时为定量描述任务的关键度,使用时间窗口来描述任务在有限时间范围内的时限错过情况。基于此描述,提出了改进型的最短紧急距离优先调度算法,该算法可保证实时任务仅错过规定数量的时限,能有效支持不同关键度任务同时运行在同一计算机上,同时可在任务量瞬时过载的情况下保证关键任务优先得到执行。最后通过仿真对最短紧急距离优先调度算法进行了例证。
-
关键词
安全关键
紧急距离
多级关键度
调度分析
实时操作系统
-
Keywords
safety-critical
urgenty distance
multilevel criticality
scheduling analysis
real-time operating system
-
分类号
TP316.2
[自动化与计算机技术—计算机软件与理论]
-
-
题名安全关键实时系统高可信集成技术的研究
被引量：5
- 3
-
-
作者
杨仕平
熊光泽
桑楠
-
机构
电子科技大学计算机科学与工程学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2003年第8期1237-1241,共5页
-
基金
国防科技预研基金项目 (No.2 0 0 0J6 .7.1 .DZ0 2 0 6)
国家十五项目 (No .41 31 50 4 0 1 0 6)
-
文摘
为增强安全关键实时系统的可信性 ,在分析高可信保障机制现状的基础上 ,提出了一种支持多级关键度子系统共享同一系统资源的集成式高可信保障体系结构 .为防止不同关键度子系统间的有害干扰 ,提出了基于两级结构化调度方法的时间隔离机制 .为实现时间隔离 ,论文首先针对集成式多级关键高可信保障机制建立了调度模型 ,然后进行了子系统及其任务的可调度性分析 ,最后用实例进行了例证 .本文的研究成果也可应用于其他非关键领域 。
-
关键词
安全关键
多级关键度
高可信
调度分析
时间隔离
-
Keywords
Accident prevention
-
分类号
TP302.8
[自动化与计算机技术—计算机系统结构]
-
-
题名基于马尔可夫模型的可信性评估研究
被引量：3
- 4
-
-
作者
杨仕平
熊光泽
桑楠
吴新勇
-
机构
电子科技大学计算机科学与工程学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2003年第12期40-44,105,共6页
-
基金
国家"十五"项目(高可信赖的嵌入式实时操作系统)
部委预研基金项目
-
文摘
研究了安全关键实时系统传统的高可信保障机制,提出了一种可支持多级关键度的新可信性保障机制。使用该机制则可根据各子系统的实际可信性需求采用相应的冗余数进行容错处理。为评估该可信性保障机制,改进了传统的多模型可信性评估方法。基于马尔可夫模型,文章建立了一种统一的可信性评估模型,使用该模型则可按不同关键度子系统的实际可信性需求进行独立的评估。同时,该文使用了大量的实例进行例证。
-
关键词
安全关键
可信性
马尔可夫模型
评估
多级关键度
-
Keywords
Safety Critical,Dependability,Markov Model,Evaluation,Multilevel Criticality
-
分类号
TP302.8
[自动化与计算机技术—计算机系统结构]
-
