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

摘要：

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

关键词：实时系统、资源分区、综合模块化航空电子、ARINC 653、主时间框架

所属期刊栏目：42

分类号：V247.1;TP302.1(航空仪表、航空设备、飞行控制与导航)

在线出版日期：2017-01-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：2413-2422