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

摘要

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