安全关键实时系统高可信集成技术的研究

• 作者: 杨仕平 桑楠 熊光泽
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 安全关键 多级关键度 高可信 调度分析 时间隔离
• 年，卷（期）: 2003,（8）
• 所属期刊栏目: 科研通信
• 页码范围: 1237-1241
• 页数: 5页
• 分类号: TP302.8
• 字数: 6445字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2003.08.028

摘要

为增强安全关键实时系统的可信性,在分析高可信保障机制现状的基础上,提出了一种支持多级关键度子系统共享同一系统资源的集成式高可信保障体系结构.为防止不同关键度子系统间的有害干扰,提出了基于两级结构化调度方法的时间隔离机制.为实现时间隔离,论文首先针对集成式多级关键高可信保障机制建立了调度模型,然后进行了子系统及其任务的可调度性分析,最后用实例进行了例证.本文的研究成果也可应用于其他非关键领域,具有较大的实用性.

作者信息

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