| 摘要: |
| 为了满足航空器经济性的制造需求, 降低航空器内部的有效载荷, 使用无线代替有线已经成为机载网络转型升级的重要方向, 然而传统无线技术难以满足机载网络中时间敏感业务的实时性传输需求. 因此, 通过明确机载无线通信网络(airborne wireless communication network, AWCN)的应用特点, 设计了AWCN结合机载骨干交换网络的混合拓扑架构; 综合考虑了节点无冲突、信道无干扰、路径依赖与端到端时延需求, 构建了时间触发的AWCN确定性调度应该满足的一阶逻辑形式; 理论分析了不同信道数量下完成调度所需要的最少时隙数量与制约端到端时延的主要因素, 并证明了稳态时数据流在网关处的信息年龄期望值; 设计了基于整数规划的调度方法, 并针对大规模网络中决策变量多、约束之间耦合性高而导致的求解效率低的缺陷, 提出了一种增量式求解策略. 最后, 通过实验验证了确定性调度模型与理论分析的有效性, 并讨论了不同调度影响因子对数据流总时延与调度规模的影响. |
| 关键词: 机载无线通信网络 时间触发 确定性调度 约束求解器 |
| DOI：10.13328/j.cnki.jos.007384 |
| 分类号:TP393 |
| 基金项目: |
|
| Deterministic Scheduling Theory for Time-triggered Airborne Wireless Communication Network |
|
WEN Qin1, LI Shi-Ning1, XU Jiang-Wei1,2, JI Yuan1, XIAO Lin-Jie1, LI Yi-Ming1, CHENG Tao1
|
|
1.School of Computer Science, Northwestern Polytechnical University, Xi’an 710072, China;2.COMAC Shanghai Aircraft Manufacturing Co. Ltd., Shanghai 201324, China
|
| Abstract: |
| To meet the economic design requirements of aircraft and reduce internal payload, the transition from wired to wireless networks has emerged as a key direction in the upgrade of airborne networks. However, traditional wireless technologies are unable to satisfy the real-time transmission requirements of time-triggered services in airborne networks. In this study, the application characteristics of the airborne wireless communication network (AWCN) are defined, and a hybrid topology is designed by integrating the AWCN with the airborne backbone switching network. By considering conflict-free nodes, interference-free channels, path dependencies, and end-to-end delay requirements, a first-order logic formulation for the deterministic scheduling of time-triggered AWCN is developed. The minimum number of time slots required for scheduling and the primary factors affecting end-to-end delay are theoretically analyzed under different channel configurations. In addition, the expected value of the information age for data flows at the gateway in a steady state is established. A scheduling method based on integer programming is designed, and an incremental solution strategy is proposed to address the low computational efficiency caused by the large number of decision variables and the high coupling of constraints in large-scale networks. The effectiveness of the deterministic scheduling model and theoretical analysis is validated through experiments, and the impact of various scheduling factors on total flow delay and scheduling scale is examined. |
| Key words: airborne wireless communication network (AWCN) time-triggered deterministic scheduling constraint solver |
