航空学报 > 2009, Vol. 30 Issue (12): 2387-2394

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

杨霞, 桑楠, 雷剑, 熊光泽   

  1. 电子科技大学 计算机科学与工程学院
  • 收稿日期:2008-10-27 修回日期:2009-03-12 出版日期:2009-12-25 发布日期:2009-12-25
  • 通讯作者: 杨霞

Scheduling Based on Static Model in Trusted Architecture for Embedded Systems

Yang Xia, Sang Nan, Lei Jian, Xiong Guangze   

  1. School of Computer Science and Engineening, University of Electronic Science and Technology of China
  • Received:2008-10-27 Revised:2009-03-12 Online:2009-12-25 Published:2009-12-25
  • Contact: Yang Xia

摘要: 为解决嵌入式高可信软件架构中的实时调度问题,分析了现有采用分区机制的安全系统中分区调度的不足,提出了一种基于固定周期分区的静态调度模型,并采用优先级位图算法建立了两级调度机制。为了保障分区中任务的实时性和正确性,对分区中任务采用静态优先级和最早时限优先调度(EDF)动态优先级两种调度策略,分别就其任务调度条件和可调度性进行了理论研究,针对复杂的动态优先级任务提出了一种可调度条件,并通过仿真实验进一步验证了此调度条件的正确性。

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

Abstract: 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.

Key words: embedded security/safety-critical system, ARINC-653, time and space separation, static model, scheduling, two-level scheduling mechanism

中图分类号: