软件学报

作者：文秦，李士宁，许江炜，纪源，肖林杰，李一鸣，程涛

单位：文秦，西北工业大学 计算机学院, 陕西 西安 71007211,李士宁，西北工业大学 计算机学院, 陕西 西安 71007202,许江炜，西北工业大学 计算机学院, 陕西 西安 710072;中国商飞上海飞机制造有限公司, 上海 20132403,纪源，西北工业大学 计算机学院, 陕西 西安 71007204,肖林杰，西北工业大学 计算机学院, 陕西 西安 71007205,李一鸣，西北工业大学 计算机学院, 陕西 西安 71007206,程涛，西北工业大学 计算机学院, 陕西 西安 71007207

关键词：机载无线通信网络;时间触发;确定性调度;约束求解器

为了满足航空器经济性的制造需求, 降低航空器内部的有效载荷, 使用无线代替有线已经成为机载网络转型升级的重要方向, 然而传统无线技术难以满足机载网络中时间敏感业务的实时性传输需求. 因此, 通过明确机载无线通信网络(airborne wireless communication network, AWCN)的应用特点, 设计了AWCN结合机载骨干交换网络的混合拓扑架构; 综合考虑了节点无冲突、信道无干扰、路径依赖与端到端时延需求, 构建了时间触发的AWCN确定性调度应该满足的一阶逻辑形式; 理论分析了不同信道数量下完成调度所需要的最少时隙数量与制约端到端时延的主要因素, 并证明了稳态时数据流在网关处的信息年龄期望值; 设计了基于整数规划的调度方法, 并针对大规模网络中决策变量多、约束之间耦合性高而导致的求解效率低的缺陷, 提出了一种增量式求解策略. 最后, 通过实验验证了确定性调度模型与理论分析的有效性, 并讨论了不同调度影响因子对数据流总时延与调度规模的影响.

来源：2025年第11期

《软件学报》期刊编辑部

查看软件学报杂志2025年第11期