ARINC653分区实时系统的主时间框架设计

综合模块化航空电子系统中的ARINC 653标准规定系统采用分区内调度和分区间调度双层调度机制。根据标准，分区内的调度由分区设计者指定，分区之间则按照静态的主时间框架进行调度。如何基于多个分区应用设计用于分区间调度的主时间框架是系统集成阶段需要解决的问题。首先利用可调度分析导出了分区的有界延迟模型参数，进一步将该参数转化为分区的调度参数用于分区间调度。然后进行分区间调度生成主时间框架，提出了最少窗口数目匹配-最佳匹配（MFBF）算法用于减少分区窗口的切换次数。提出的从分区参数推导到分区间调度流程能够基于若干分区应用生成ARINC 653系统的主时间框架。实验结果表明：时间窗口优化算法能有效减少分区窗口切换次数。

Design of major time frame for ARINC 653 partitioned real-time systems

The ARINC 653 standard for integrated modular avionics defines that the system adopts intra-partition scheduling and inter-partition scheduling. As specified by the standard, local scheduling is specified by partition application designers and partitions are scheduled statically by the major time frame. How to design the major time frame to schedule partitions is a problem in the phase of partition integrating. The bounded delay parameters of a partition are derived based on schedulability analysis and converted to parameters which can be used for partition scheduling afterwards. An algorithm referred to as the minimum number of windows fit-best fit (MFBF) is proposed to reduce the number of partition switches when partitions are scheduled to generate the major time frame. The proposed process from partition parameters deriving to inter-partition scheduling completes the design of the major time frame from several partition applications. Experimental results show that the MFBF algorithm reduces the number of partition switches effectively.