Praxis Design Explorer
用例图:同步 GPS 时间
项目版本 0.0.0 · Git 34aad0bffa2f dirty · 更新于 2026-06-25T14:17:55.307Z · 来源 Agent 候选分析Trail Mate 系统 / 设备管理
同步 GPS 时间
用户触发从 GPS 模块获取准确时间并同步到设备 RTC,或调整 RTC 偏移
设计指标索引
这些指标是 Design Explorer 可探测数字的文档来源。每个计数都必须能回溯到这里的具体条目。
参与者、外部系统、上下文和当前用例。
-
Trail Mate 系统
业务边界:系统边界
管理整个应用的用户目标和业务能力
-
设备管理
业务边界:业务模块
提供设备状态的可见性和用户可控的硬件管理
-
同步 GPS 时间
用例
用户触发从 GPS 模块获取准确时间并同步到设备 RTC,或调整 RTC 偏移
-
用户
参与者
使用 Trail Mate 设备的最终用户,可以查看状态、收发消息、配置设备、使用诊断工具
当前用例与上下文、参与者、外部系统或其他用例之间的关系。
- Trail Mate 系统 包含业务边界「设备管理」 包含关系
- 设备管理 包含 Use Case「同步 GPS 时间」 包含关系
-
用户 作为主要参与者参与「同步 GPS 时间」
参与关系
使用 Trail Mate 设备的最终用户,可以查看状态、收发消息、配置设备、使用诊断工具
-
用户 -> 同步 GPS 时间
参与关系
用户同步时间
-
用户 -> 同步 GPS 时间
参与关系
用户同步 GPS 时间
支撑当前候选用例的文件、代码证据、规范或推断证据。
-
证据 1 · 本地仓库扫描 · boards/tlora_pager/src/tlora_pager_board.cpp · 1-1
FACT:strong
时间同步相关函数实现在 TLoRaPagerBoard 中
syncTimeFromGPS, adjustRTCByOffsetMinutes -
证据 2 · 本地仓库扫描 · boards/tlora_pager/src/tlora_pager_board.cpp · 1-1
FACT:strong
与 RTC 同步相关的方法
tlora_pager_board.cpp
仍需产品或业务负责人裁决的外部问题。
- 无
UML 底图
flowchart LR
actor_actor_user["«Actor»<br/>用户"]
subgraph system_system_trail_mate["Trail Mate 系统"]
subgraph system_business_module_device_management["设备管理"]
useCase_use_case_sync_gps_time(["同步 GPS 时间"])
end
end
actor_actor_user --- useCase_use_case_sync_gps_time
场景路径
主成功路径
- 用户选择同步时间或进入自动同步流程
- 系统从 GPS 模块读取 UTC 时间
- 系统更新 RTC 并调整偏移值
- 用户触发时间同步
- 系统从 GPS 获取当前 UTC 时间
- 系统写入 RTC
备选路径
- 无
失败路径
- GPS 未就绪或信号差,同步失败并提示用户
- GPS 未锁定,同步失败
变更记录
恢复或更新候选用例图「同步 GPS 时间」。