Abstract: High real time performance is required by the embedded operating system based on ARINC653 standard. It analyzes the ARINC653 partition schedule algorithm, the problem is solved that the spare time is not being used. This paper also proposes a schedule model with spare time, and designs spare time share partition schedule algorithm using priority bitmap algorithm and two-level schedule mechanism. Theoretical analysis shows that spare time share partition schedule reduces the average response time of task.

Key words: Integrated Modular Avionics(IMA) system, ARINC653 standard, partition schedule, two-level schedule, schedulability analysis

摘要： 基于ARINC653标准的嵌入式实时操作系统对实时性的要求很高。为此，针对ARINC653分区调度算法中存在的空闲时间问题，提出一种改进的分区调度模型，采用优先级位图算法和二级调度机制设计空闲时间分区共享调度算法。理论分析表明，该算法能够缩短任务的平均响应时间。

关键词: 综合模块化航电系统, ARINC653标准, 分区调度, 二级调度, 可调度性分析

CLC Number: 

• TP311