状态机设计：时钟驯服系统

1. 状态定义

1.1 自由运行状态

• 描述：系统初始上电后的默认状态
• 特征：时钟源独立运行，未受外部参考源同步

1.2 捕获/牵引状态（驯服状态）

• 描述：系统正在与外部参考源进行同步的过程状态
• 触发条件：BDS（北斗卫星导航系统）信号同步成功
• 特征：系统时钟频率/相位逐步调整至与参考源对齐

1.3 锁定/保持状态

• 描述：系统完成驯服后进入的稳定工作状态
• 触发条件：驯服过程成功结束
• 特征：系统时钟与参考源保持同步，或依靠内部保持算法维持精度

2. 状态转换规则

2.1 初始转换

• 触发事件：系统上电
• 转换路径：无 → 自由运行状态

2.2 自由运行 → 捕获/牵引

• 触发事件：BDS信号同步成功
• 转换条件：系统检测到有效、稳定的BDS信号
• 转换路径：自由运行状态 → 捕获/牵引状态

2.3 捕获/牵引 → 锁定/保持

• 触发事件：驯服过程完成
• 转换条件：
  • 系统时钟与BDS参考源达到预设同步精度
  • 驯服算法判定收敛完成
• 转换路径：捕获/牵引状态 → 锁定/保持状态

3. 状态机特性补充

3.1 可选的异常处理转换

3.1.1 锁定/保持 → 自由运行

• 触发事件：BDS信号丢失且保持时间耗尽
• 场景：外部参考源失效，系统回退至内部时钟自由运行

3.1.2 捕获/牵引 → 自由运行

• 触发事件：驯服过程中BDS信号丢失
• 场景：同步过程中参考源中断，放弃驯服

3.2 状态保持与重置

• 状态持久性：各状态应保持稳定直至转换条件满足
• 系统重置：硬件复位或软件复位指令可使状态机返回自由运行状态