嵌入式高可信架构中基于静态模型的调度研究  

Scheduling Based on Static Model in Trusted Architecture for Embedded Systems

作　　者：杨霞[1] 桑楠[1] 雷剑[1] 熊光泽[1] 

机构地区：[1]电子科技大学计算机科学与工程学院,四川成都610054

出　　处：《航空学报》2009年第12期2387-2394,共8页Acta Aeronautica et Astronautica Sinica

基　　金：国防重点预研基金(41315040106);国家"863"计划(2006AA01Z137;2007AA01Z131);电子科技大学校青年基金(L08010601JX05030;L08010601JX0752)

摘　　要：为解决嵌入式高可信软件架构中的实时调度问题,分析了现有采用分区机制的安全系统中分区调度的不足,提出了一种基于固定周期分区的静态调度模型,并采用优先级位图算法建立了两级调度机制。为了保障分区中任务的实时性和正确性,对分区中任务采用静态优先级和最早时限优先调度(EDF)动态优先级两种调度策略,分别就其任务调度条件和可调度性进行了理论研究,针对复杂的动态优先级任务提出了一种可调度条件,并通过仿真实验进一步验证了此调度条件的正确性。To address the scheduling problem in high assurance software architecture for embedded systems, this article analyzes the limitation of partition scheduling methods of existing security systems and presents a static scheduling model based on period partition. By means of this model a two level scheduling mechanism is constructed with priority bitmap algorithm. This article introduces two scheduling policies for tasks in partitions： fixed priority and dynamic priority based on the earliest deadline first （EDF） scheduling algorithm. The scheduling conditions and schedulability of tasks are studied, and the schedulable conditions of dynamic priority tasks are proposed. The accuracy of the scheduling conditions in this article is verified through a simulation experiment.

关 键 词：嵌入式安全关键系统 ARINC-653 时空隔离 静态模型 调度 两级调度机制 

分 类 号：TP316.2[自动化与计算机技术—计算机软件与理论]