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

摘要：

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

关键词：嵌入式安全关键系统、Hades高可信软件架构、固定延迟分区调度模型、两级调度机制、可调度条件

所属期刊栏目：21

分类号：TP302(计算技术、计算机技术)

资助基金：国家"八六三"高技术研究发展计划2006AA01Z173,2007AA01Z131;电子科技大学校青年基金L08010601JX05030,L08010601JX0752

在线出版日期：2010-03-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：1682-1688