📚 课程目录第4章同步性能指标

4. 同步性能指标

在多传感器时间同步系统中，“同步得好不好”不能只凭主观感受判断，必须用一组可量化、可复现、可对比的指标来刻画。同步误差、精度、分辨率、稳定度、确定性和实时性分别从不同侧面描述系统的时间行为：有的描述“偏差有多大”，有的描述“波动有多稳”，有的描述“最坏情况能否保证”，有的描述“从事件发生到完成同步需要多久”。理解这些指标之间的区别与联系，是设计、选型和验收同步系统的基础。

核心区分：精度回答“准不准”，稳定度回答“稳不稳”，确定性回答“最坏有多差”，实时性回答“多快能完成”。同步误差是这些指标共同作用后的综合结果。

一、六个指标的定义与物理含义

同步误差是最直接的指标，指同一物理事件在两个传感器时间戳之间的差值，通常记为 Δt = t₂ − t₁。它可以是瞬时误差，也可以是统计窗口内的均值、峰值或标准差。同步误差是“结果量”，其他指标往往是影响它的“原因量”。

精度描述时间戳与真实时间（或参考时钟）的接近程度，常用最大绝对误差、均方根误差（RMSE）或 95% 分位数表示。精度高意味着系统输出接近真值，但精度高不一定稳定，可能只是某次测量恰好接近真值。

分辨率是系统能够区分的最小时间变化量，由时钟频率、计数器位宽和采样率决定。例如 100 MHz 计数时钟对应 10 ns 分辨率。分辨率是精度的“下限”，但分辨率高不等于精度高，因为还存在偏移和抖动。

稳定度描述时间偏差随时间的波动特性，常用 Allan 方差、Allan 偏差、TDEV 或抖动（Jitter）度量。稳定度关注的是“误差是否随时间漂移或随机跳动”，而不是单次误差大小。

确定性强调最坏情况下的时间边界，即同步误差是否始终不超过某个上限。硬实时系统要求确定性，例如误差必须始终小于 1 μs，不能只满足平均值。

实时性描述从触发事件到完成同步或输出同步时间戳的延迟，包括采集延迟、传输延迟、处理延迟和排队延迟。实时性差会导致同步误差随时间累积。

二、度量方法与测试流程

不同指标需要不同的度量手段。同步误差和精度通常用示波器双通道法或 PPS（每秒脉冲）比对法测量：将两个传感器的时间戳输出或同步脉冲接入示波器，直接读取时间差。稳定度则需要对长时间序列做 Allan 方差分析，观察不同平均时间下的频率波动。确定性和实时性往往通过边界测试和压力测试来验证，例如在最大负载、最长链路、最差温度条件下反复测量，记录最坏值。

一个典型的同步性能测试流程如下：

搭建参考基准：使用 GPS 驯服铷钟或高稳晶振作为参考时钟，其精度应比被测系统高一个数量级以上。
采集时间戳：让所有传感器在同一物理事件（如闪光、脉冲、机械触发）下打时间戳，记录原始数据。
计算误差序列：以参考时钟为真值，计算每个传感器的时间偏差 Δtᵢ，形成误差序列。
统计与分解：计算均值、标准差、峰值、RMSE，并绘制误差随时间变化的曲线。
稳定度分析：对误差序列做 Allan 方差计算，识别白噪声、闪烁噪声和频率漂移成分。
边界与压力测试：在极限条件下重复测试，确认最坏误差是否满足确定性要求。

# 同步误差统计示例（Python 伪代码）
import numpy as np

# t_ref: 参考时间戳序列
# t_sensor: 传感器时间戳序列
error = t_sensor - t_ref          # 同步误差序列

mean_err = np.mean(error)         # 平均同步误差
std_err  = np.std(error)          # 标准差（稳定度相关）
max_err  = np.max(np.abs(error))  # 最大绝对误差（确定性边界）
rmse     = np.sqrt(np.mean(error**2))  # 均方根误差（精度）
p95      = np.percentile(np.abs(error), 95)  # 95% 分位数

print(f"Mean: {mean_err:.3f} ns")
print(f"Std:  {std_err:.3f} ns")
print(f"Max:  {max_err:.3f} ns")
print(f"RMSE: {rmse:.3f} ns")
print(f"P95:  {p95:.3f} ns")

三、指标对比与选型参考

下表汇总了六个指标的核心关注点、典型度量方法和常见量级，便于在方案设计时快速对照。

指标	核心问题	典型度量方法	常见量级（工业级）
同步误差	两个时间戳差多少？	示波器比对、PPS 测量	10 ns ~ 1 μs
精度	离真值有多近？	RMSE、最大误差、95% 分位数	50 ns ~ 5 μs
分辨率	最小能分辨多少？	时钟频率倒数、计数器位宽	1 ns ~ 100 ns
稳定度	误差随时间稳不稳？	Allan 方差、TDEV、Jitter	1e-9 ~ 1e-12（1s 平均）
确定性	最坏情况有多差？	边界测试、WCET 分析	≤ 1 μs（硬实时）
实时性	多快能完成同步？	端到端延迟、同步周期	100 μs ~ 10 ms

四、常见误区与复盘要点

误区一：把分辨率当成精度。分辨率高只说明“尺子刻度细”，但如果尺子本身有偏移或抖动，测量结果仍然不准。例如 1 ns 分辨率的计数器，若时钟漂移严重，实际精度可能只有 1 μs。

误区二：只看平均误差，忽略最坏情况。平均误差 100 ns 听起来很好，但如果峰值达到 10 μs，在硬实时场景中可能直接导致控制失效。确定性要求必须用最坏值来验证。

误区三：把稳定度和精度混为一谈。一个系统可能精度很高（平均误差小），但稳定度差（误差随机跳动大）；也可能稳定度好但存在固定偏移。两者需要分别测量、分别优化。

复盘建议：在同步系统验收时，建议同时输出“误差时间序列图 + Allan 方差曲线 + 最坏值统计表”三件套。误差时间序列看趋势，Allan 方差看噪声类型，最坏值统计表看确定性边界。三者结合，才能完整描述系统的同步性能。

在实际工程中，六个指标往往相互制约。提高分辨率可能增加功耗和成本；提高实时性可能牺牲稳定度；追求高确定性可能需要冗余设计和更复杂的算法。因此，指标定义和度量方法必须在设计初期就明确，并与应用场景的真实需求对齐，避免过度设计或指标缺失。