多级关键度

作品数:5被引量:13H指数:3
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:杨仕平熊光泽桑楠吴新勇曾坤更多>>
相关机构:电子科技大学厦门大学更多>>
相关期刊:《计算机工程与应用》《电子学报》《四川大学学报(自然科学版)》《系统工程与电子技术》更多>>
相关基金:国防科技技术预先研究基金教育部“新世纪优秀人才支持计划”广东省自然科学基金福建省自然科学基金更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-5
视图:
排序:
一种支持多级关键度任务的容错实时调度算法被引量:4
《四川大学学报(自然科学版)》2008年第4期779-784,共6页曾坤 黎忠文 
广东省自然科学基金(06029667);厦门大学院士基金(0630-E23011);厦门大学新世纪优秀人才基金(0000-X07116);福建省自然科学基金(2008J0034)
针对当前对支持多关键度的实时系统没有涉及容错功能的研究情况,本文提出了支持多级关键度任务的容错实时系统模型,通过对模型中任务出错后关键度任务集合的响应时间分析,提出了新的算法,我们称之为补任务启动及容错优先级确定算法,算...
关键词:容错实时系统 多级关键度 容错优先级 响应时间 
可支持多级关键度任务的实时操作系统被引量:1
《系统工程与电子技术》2006年第4期615-619,共5页杨仕平 黄耕文 刘校矢 
国家"十五"项目(41315040106);国防科技预研基金(2000J6.7.1.DZ0206)资助课题
为设计可支持多级关键度任务的军用实时操作系统MRTOS,首先分析了现有实时操作系统的调度机制。同时为定量描述任务的关键度,使用时间窗口来描述任务在有限时间范围内的时限错过情况。基于此描述,提出了改进型的最短紧急距离优先调度算...
关键词:安全关键 紧急距离 多级关键度 调度分析 实时操作系统 
基于多级关键度的高可信安全关键系统被引量:2
《系统工程与电子技术》2004年第2期277-282,共6页杨仕平 桑楠 吴新勇 熊光泽 
国家"十五"基金(41315040106);国防科技预研基金(2000J6.7.1.DZ0206)资助课题
为增强安全关键系统的可信性,在分析高可信保障机制现状的基础上,提出了一种集成式的高可信保障体系结构。为防止不同关键度子系统间的有害干扰,在分析信息安全领域内多级安全保障机制的基础上,研究了不同关键度子系统相互作用时应遵守...
关键词:安全关键系统 多级关键度 防危核 反射技术 安全保障机制 信息安全 计算机安全 
安全关键实时系统高可信集成技术的研究被引量:5
《电子学报》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)
为增强安全关键实时系统的可信性 ,在分析高可信保障机制现状的基础上 ,提出了一种支持多级关键度子系统共享同一系统资源的集成式高可信保障体系结构 .为防止不同关键度子系统间的有害干扰 ,提出了基于两级结构化调度方法的时间隔离机...
关键词:安全关键 多级关键度 高可信 调度分析 时间隔离 
基于马尔可夫模型的可信性评估研究被引量:3
《计算机工程与应用》2003年第12期40-44,105,共6页杨仕平 熊光泽 桑楠 吴新勇 
国家"十五"项目(高可信赖的嵌入式实时操作系统);部委预研基金项目
研究了安全关键实时系统传统的高可信保障机制,提出了一种可支持多级关键度的新可信性保障机制。使用该机制则可根据各子系统的实际可信性需求采用相应的冗余数进行容错处理。为评估该可信性保障机制,改进了传统的多模型可信性评估方法...
关键词:安全关键 可信性 马尔可夫模型 评估 多级关键度 
检索报告 对象比较 聚类工具 使用帮助 返回顶部