ARINC 653分区实时系统的可调度分析

ARINC 653规范定义了综合模块化航空电子(IMA)实时操作系统的行为逻辑以及向应用程序提供的接口规范。该规范规定了系统采用分区内调度和分区间调度的两级调度方案,如何分析系统的可调度性以保证实时任务能够在截止时间内完成计算是需要研究的新问题。基于负载请求与平台资源提供能力的供需约束关系导出了系统可调度的判定依据。证明了判据的约束是系统可调度的充分必要条件。实际应用表明,提出的可调度判定定理能够应用于判定ARINC 653分区实时系统的可调度性,辅助提升系统的安全属性。

Schedulability analysis for ARINC 653 partitioned real-time systems

ARINC 653 specification defines the logic and interface for application software of the real-time operating system within integrated modular avionics (IMA). The specification defines that the system adopts inter-partition scheduling and intra-partition scheduling. How to analyze the schedulability of an ARINC 653 system so that all real-time tasks are guaranteed to finish their execution before deadlines is a new problem. In this paper, a schedulability criterion is proposed by analyzing the relation between workload requirement and resource supply ability of the platform. The schedulability criterion is proven to be sufficient and necessary. Experience with several projects reveals that the proposed criterion can be used to correctly and efficiently analyze the schedulability of ARINC 653 partitioned real-time systems, helping to improve the security attributes of these systems.