期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
一种支持多级关键度任务的容错实时调度算法 预览 被引量:4
1
作者 曾坤 黎忠文 《四川大学学报:自然科学版》 CAS CSCD 北大核心 2008年第4期 779-784,共6页
针对当前对支持多关键度的实时系统没有涉及容错功能的研究情况,本文提出了支持多级关键度任务的容错实时系统模型,通过对模型中任务出错后关键度任务集合的响应时间分析,提出了新的算法,我们称之为补任务启动及容错优先级确定算法... 针对当前对支持多关键度的实时系统没有涉及容错功能的研究情况,本文提出了支持多级关键度任务的容错实时系统模型,通过对模型中任务出错后关键度任务集合的响应时间分析,提出了新的算法,我们称之为补任务启动及容错优先级确定算法,算法假设在运行该算法的时刻开始系统不会再次出错,基于这个假设计算每个任务的响应时间,从而决定要不要启动出错任务的补任务以及容错优先级如何分配.该算法在保证系统的容错能力的同时提高了任务的完成率,使系统吞吐量损失最小,从而提高系统的可靠性.最后经过实例对该算法进行验证. 展开更多
关键词 容错实时系统 多级关键度 容错优先级 响应时间
在线阅读 免费下载
可支持多级关键度任务的实时操作系统 预览 被引量:1
2
作者 杨仕平 黄耕文 刘校矢 《系统工程与电子技术》 EI CSCD 北大核心 2006年第4期615-619,共5页
为设计可支持多级关键度任务的军用实时操作系统MRTOS,首先分析了现有实时操作系统的调度机制.同时为定量描述任务的关键度,使用时间窗口来描述任务在有限时间范围内的时限错过情况.基于此描述,提出了改进型的最短紧急距离优先调度算法... 为设计可支持多级关键度任务的军用实时操作系统MRTOS,首先分析了现有实时操作系统的调度机制.同时为定量描述任务的关键度,使用时间窗口来描述任务在有限时间范围内的时限错过情况.基于此描述,提出了改进型的最短紧急距离优先调度算法,该算法可保证实时任务仅错过规定数量的时限,能有效支持不同关键度任务同时运行在同一计算机上,同时可在任务量瞬时过载的情况下保证关键任务优先得到执行.最后通过仿真对最短紧急距离优先调度算法进行了例证. 展开更多
关键词 安全关键 紧急距离 多级关键度 调度分析 实时操作系统
在线阅读 下载PDF
基于多级关键度的高可信安全关键系统 预览 被引量:2
3
作者 杨仕平 桑楠 +1 位作者 吴新勇 熊光泽 《系统工程与电子技术》 EI CSCD 北大核心 2004年第2期277-282,共6页
为增强安全关键系统的可信性,在分析高可信保障机制现状的基础上,提出了一种集成式的高可信保障体系结构。为防止不同关键度子系统间的有害干扰,在分析信息安全领域内多级安全保障机制的基础上,研究了不同关键度子系统相互作用时应... 为增强安全关键系统的可信性,在分析高可信保障机制现状的基础上,提出了一种集成式的高可信保障体系结构。为防止不同关键度子系统间的有害干扰,在分析信息安全领域内多级安全保障机制的基础上,研究了不同关键度子系统相互作用时应遵守的防危访问控制规则。为实现该规则,采用了基于元对象的反射技术,并就如何使用反射技术实现不同关键度子系统间的可靠互动进行了详细讨论。最后,给出了实验结果,同时就该领域内的相关工作及发展方向进行了展望。 展开更多
关键词 安全关键系统 多级关键度 防危核 反射技术 安全保障机制 信息安全 计算机安全
在线阅读 下载PDF
基于马尔可夫模型的可信性评估研究 预览 被引量:3
4
作者 杨仕平 熊光泽 +1 位作者 桑楠 吴新勇 《计算机工程与应用》 CSCD 北大核心 2003年第12期 40-44,105,共6页
研究了安全关键实时系统传统的高可信保障机制,提出了一种可支持多级关键度的新可信性保障机制。使用该机制则可根据各子系统的实际可信性需求采用相应的冗余数进行容措处理。为评估该可信性保障机制,改进了传统的多模型可信性评估方... 研究了安全关键实时系统传统的高可信保障机制,提出了一种可支持多级关键度的新可信性保障机制。使用该机制则可根据各子系统的实际可信性需求采用相应的冗余数进行容措处理。为评估该可信性保障机制,改进了传统的多模型可信性评估方法。基于马尔可夫模型,文章建立了一种统一的可信性评估模型,使用该模型则可按不同关键度子系统的实际可信性需求进行独立的评估。同时,该文使用了大量的实例进行例证。 展开更多
关键词 安全关键 可信性 马尔可夫模型 评估 多级关键度
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部 意见反馈