论文部分内容阅读
综合模块化航空电子系统中的ARINC 653标准规定系统采用分区内调度和分区间调度双层调度机制。根据标准,分区内的调度由分区设计者指定,分区之间则按照静态的主时间框架进行调度。如何基于多个分区应用设计用于分区间调度的主时间框架是系统集成阶段需要解决的问题。首先利用可调度分析导出了分区的有界延迟模型参数,进一步将该参数转化为分区的调度参数用于分区间调度。然后进行分区间调度生成主时间框架,提出了最少窗口数目匹配-最佳匹配(MFBF)算法用于减少分区窗口的切换次数。提出的从分区参数推导到分区间调度流程能够基于若干分区应用生成ARINC 653系统的主时间框架。实验结果表明:时间窗口优化算法能有效减少分区窗口切换次数。
The ARINC 653 standard in an integrated modular avionics system provides for a two-tier scheduling mechanism using intra-partition scheduling and inter-partition scheduling. According to the standard, the partition scheduling is specified by the partition designer, and the partitions are scheduled according to the static master time frame. How to design a master time frame for inter-partition scheduling based on multiple partition applications is a problem that needs to be solved in the stage of system integration. First, we use the schedulability analysis to derive the partitioned bounded delay model parameters, and further convert the parameters into partition scheduling parameters for inter-partition scheduling. Then, the main time frame is generated through inter-partition scheduling and a minimum number of windows matching-best matching (MFBF) algorithm is proposed to reduce the number of switching of the partitioning window. The proposed derivation from partition parameters to inter-partition scheduling process can be used to generate the main time frame of the ARINC 653 system based on several partitions. Experimental results show that the time window optimization algorithm can effectively reduce the number of window switching.