4. 实时仿真与分布式计算基础
在航空航天 HIL（硬件在环）分布式测试系统中，“实时”并不是“跑得快”的同义词，而是指系统必须在规定的时间界限内给出正确结果。若结果正确但超出时限，对某些回路而言等同于错误。理解硬实时与软实时的差别，是后续选择 RTOS、划分节点任务和保障时间确定性的前提。
硬实时与软实时：判据在“超时后果”
硬实时（Hard Real-Time）要求任务必须在截止时间（Deadline）前完成，一旦超时即视为系统失效，可能造成飞控舵面误动作、发动机模型发散或保护逻辑失效。典型对象包括：舵机闭环控制回路、传感器采样与执行机构输出、故障保护与联锁逻辑。软实时（Soft Real-Time）允许偶发超时，超时只导致画面卡顿、数据刷新延迟或日志滞后，不直接危及被测对象安全，例如监控画面刷新、非关键状态显示、历史数据落盘。
工程上常用三个指标描述实时性：周期（任务多久执行一次）、抖动（相邻周期实际间隔与标称周期的偏差）、截止时间（从触发到必须完成的最晚时刻）。以某型飞控 HIL 为例，若控制周期设为 1 ms，则抖动通常要求控制在周期的 5%～10% 以内，即约 50～100 μs；而监控画面刷新周期为 50 ms，抖动几百微秒也可接受。可见，硬实时与软实时的差别不在“快慢”，而在超时是否可容忍。
RTOS 选型：从确定性出发，而非从功能出发
实时操作系统（RTOS）的核心价值是提供可预测的调度与中断响应，而不是提供最丰富的功能。选型时应优先考察以下维度：
- 调度策略：是否支持基于优先级的抢占式调度，是否提供速率单调（RMS）或最早截止优先（EDF）等实时调度支持。
- 中断延迟与上下文切换时间：这是硬实时的关键指标，通常要求中断延迟在微秒级且抖动小。
- 优先级反转防护：是否支持优先级继承或优先级天花板协议，避免低优先级任务长期占用共享资源。
- 时间服务：是否提供高精度时钟、单调时钟、定时器分辨率与时间同步接口。
- 生态与认证：航空航天场景常关注 DO-178C 等适航证据、BSP 支持与长期维护能力。
常见选择包括 VxWorks、RTEMS、QNX、FreeRTOS、Zephyr 等。以某分布式 HIL 节点为例：飞控闭环节点对确定性要求最高，可选用 VxWorks 或 RTEMS；数据采集与转发节点可选用 QNX 或带 PREEMPT_RT 补丁的 Linux；非关键监控节点可用普通 Linux。选型不是“越硬越好”，而是按任务等级匹配，避免为软实时任务付出过高成本。
多节点任务调度：把周期与优先级分配到节点
分布式 HIL 通常由多个仿真节点组成：飞控模型节点、传感器模拟节点、执行机构接口节点、监控节点等。多节点调度的核心是：每个节点内部用 RTOS 调度本地任务，节点之间通过网络交换数据，并保证端到端的时间确定性。
一个可参考的示例配置如下：飞控模型节点运行周期 1 ms 的硬实时任务，优先级最高；传感器模拟节点运行周期 1 ms 的采样任务，优先级次高；执行机构接口节点运行周期 1 ms 的输出任务，优先级与采样任务相当；监控节点运行周期 50 ms 的软实时任务，优先级最低。节点间通过时间触发以太网（TTEthernet）或 IEEE 1588 精密时间协议（PTP）同步时钟，确保各节点在同一时间基准上采样与输出。
调度设计时需注意：高优先级任务不应长时间占用 CPU，否则低优先级任务可能饿死；共享资源访问应尽量短小，必要时使用优先级继承互斥量；网络通信应采用确定性协议，避免普通以太网的冲突退避导致抖动。
时间确定性保障：从时钟同步到抖动测量
时间确定性保障贯穿系统各层。第一层是时钟同步：分布式节点必须共享统一时间基准，常用 IEEE 1588 PTP 达到亚微秒级同步，或 GPS/北斗授时达到更高精度。第二层是任务调度确定性：通过固定优先级、时间触发调度或静态调度表，使任务执行顺序可预测。第三层是通信确定性：采用 TTEthernet、AFDX 或时间触发 CAN，避免随机冲突。第四层是抖动测量与监控：在关键任务入口和出口打时间戳，统计周期抖动、执行时间与截止时间裕量。
以下 SVG 展示了一个分布式 HIL 节点的时间确定性保障链路：从统一时钟源出发，经过节点内 RTOS 调度、任务执行、网络通信，最终到达抖动测量与判断，形成闭环监控。
实践中的关键判断与常见问题
在分布式 HIL 调试中，时间确定性问题往往表现为“偶发超时”或“数据不同步”。排查时可从以下角度入手：
- 时钟是否真正同步：检查 PTP 主从状态、偏移量是否收敛，避免各节点各自为政。
- 高优先级任务是否被阻塞：检查共享内存、信号量、驱动中断是否导致优先级反转。
- 网络是否引入随机延迟：普通交换机可能因排队导致抖动，应使用支持时间触发或流量整形的交换机。
- CPU 负载是否过高：若 CPU 利用率长期超过 70%，低优先级任务可能无法按时执行，需重新划分节点或优化任务。
总结来看，硬实时与软实时的划分决定了系统设计的严格程度；RTOS 选型应围绕确定性而非功能丰富度；多节点调度需要把周期、优先级和网络通信统一规划；时间确定性保障则依赖时钟同步、调度策略、确定性网络和抖动监控四层协同。只有这四层都落实，分布式 HIL 系统才能在航空航天测试中稳定复现真实工况。