1. 课程导入与机载确定性网络验证全景

机载确定性网络，是指在航空电子系统内部，为承载飞行控制、航电显示、任务计算、传感器融合等关键业务，而构建的一类可预测、可约束、可验证的机载数据交换网络。它的核心不是"带宽越大越好"，而是"在最坏情况下，关键报文能否在确定的时间窗口内、以确定的顺序、按确定的路径到达确定的目的地"。这一"确定性"由三个维度共同定义：时间确定性（时延与抖动有上界）、空间确定性（路径与队列资源被显式分配）、行为确定性（故障与降级模式可预期）。

理解机载确定性网络，必须厘清时间敏感网络（TSN）与航空电子全双工交换以太网（AFDX）之间的关系。AFDX 是 ARINC 664 Part 7 定义的、已在 A380、B787 等机型上大规模应用的确定性以太网方案，它通过虚拟链路（VL）、带宽分配间隔（BAG）和最大帧长（Lmax）三个参数，为每条 VL 预留带宽并约束流量，实现静态配置下的确定性传输。TSN 则是 IEEE 802.1 工作组制定的一系列标准集合，包含时间同步（802.1AS）、时间感知调度（802.1Qbv）、帧抢占（802.1Qbu）、流预留（802.1Qat）等机制，提供更细粒度、更动态的确定性能力。二者并非替代关系：AFDX 可视为"静态预留型确定性"的成熟工程实现，TSN 则在其基础上引入时间触发调度与更灵活的流管理。当前机载网络演进，正是把 TSN 机制逐步引入 AFDX 体系，形成"兼容既有、增强确定性"的混合架构。

系统级验证的目标，不是验证单个交换机或端系统"能不能通"，而是验证整网在真实业务剖面与故障剖面下，是否持续满足端到端确定性指标。其范围通常覆盖：网络配置正确性（VL/流表/调度表）、端到端时延与抖动、带宽与队列占用、时间同步精度、冗余切换行为、故障注入下的降级与恢复，以及适航符合性证据的可追溯性。适航约束方面，DO-297 定义了集成模块化航空电子（IMA）的角色与责任，DO-178C/DO-254 约束软件与硬件生命周期，DO-160 约束环境适应性，而 ARINC 664 Part 7 则给出 AFDX 网络本身的符合性要求。验证活动必须与这些约束对齐，形成"需求—设计—验证—证据"的闭环。

典型验证流程可概括为：先由网络需求与业务剖面导出验证需求，再搭建含真实端系统、交换机与测试仪表的系统级试验台，随后依次执行配置核查、功能测试、性能测试、故障注入与鲁棒性测试，最后对结果进行判读并归档为适航证据。下面这张图给出机载确定性网络验证的全景关系，帮助建立"标准—对象—指标—验证手段"的整体认知。

从图中可以看到，验证不是孤立的一次测试，而是由适航标准向下约束、由验证结果向上反馈的闭环。以一条典型 VL 为例：假设某飞行控制 VL 配置为 BAG=8 ms、Lmax=256 B，则该 VL 的预留带宽约为 256×8/0.008 = 256 kbit/s（按每 BAG 最多一帧估算）。验证时，测试仪表按该 BAG 注入帧，同时用另一路背景流量占满非关键队列，观察该 VL 的端到端时延是否稳定在配置上界内、抖动是否收敛。若时延随背景流量上升而显著增大，说明交换机队列隔离或整形配置存在问题，需要回到配置核查环节定位。

本课程后续将围绕上述全景逐层展开：先建立机载网络与 TSN/AFDX 的概念基础，再进入验证需求分析与试验台搭建，随后深入配置核查、时延抖动测量、故障注入与适航证据组织，最终形成可复用的系统级验证方法。本节作为导入，重点在于建立"标准—对象—指标—手段"的整体框架，为后续每一层的细化验证提供坐标。