Hades高可信架构中固定延迟分区实时调度

• 作者: 张宁 杨霞 桑楠 熊光泽
• 来源期刊: 计算机辅助设计与图形学学报
• 学科: 工学
• 关键词: 嵌入式安全关键系统 Hades高可信软件架构 固定延迟分区调度模型 两级调度机制 可调度条件
• 年，卷（期）: 2009,（11）
• 所属期刊栏目: 可信计算与信息安全
• 页码范围: 1682-1688
• 页数: 7页
• 分类号: TP302
• 字数: 7016字
• 语种: 中文

摘要

为了增强不同安全等级的复杂嵌入式安全关键系统的高可信能力,Hades架构以"时空隔离"思想和分区机制为基础,各分区分时共享系统物理资源.针对Hades中分区的实时调度问题,提出一种固定延迟分区调度模型,并采用优先级位图算法设计了分区级和任务级两级调度机制;为了保障分区中所有实时任务的可调度性,对分区中任务组采用单调速率调度和最早截止时间优先2种调度策略,并分别给出任务可调度条件.最后,通过仿真实验进一步验证了该调度模型的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	桑楠	电子科技大学计算机科学与工程学院	105	1275	18.0	30.0
2	熊光泽	电子科技大学计算机科学与工程学院	148	2069	24.0	38.0
3	杨霞	电子科技大学计算机科学与工程学院	19	117	7.0	10.0
4	张宁	电子科技大学计算机科学与工程学院	24	125	6.0	10.0