Praxis Design Explorer
用例图:查看硬件状态
项目版本 0.0.0 · Git 34aad0bffa2f dirty · 更新于 2026-06-25T14:17:55.307Z · 来源 Agent 候选分析Trail Mate 系统 / 设备管理
查看硬件状态
用户查看所有硬件模块的就绪状态,包括 GPS、无线电、传感器、SD 卡、电池、充电等
设计指标索引
这些指标是 Design Explorer 可探测数字的文档来源。每个计数都必须能回溯到这里的具体条目。
参与者、外部系统、上下文和当前用例。
-
Trail Mate 系统
业务边界:系统边界
管理整个应用的用户目标和业务能力
-
设备管理
业务边界:业务模块
提供设备状态的可见性和用户可控的硬件管理
-
查看硬件状态
用例
用户查看所有硬件模块的就绪状态,包括 GPS、无线电、传感器、SD 卡、电池、充电等
-
用户
参与者
使用 Trail Mate 设备的最终用户,可以查看状态、收发消息、配置设备、使用诊断工具
当前用例与上下文、参与者、外部系统或其他用例之间的关系。
- Trail Mate 系统 包含业务边界「设备管理」 包含关系
- 设备管理 包含 Use Case「查看硬件状态」 包含关系
-
用户 作为主要参与者参与「查看硬件状态」
参与关系
使用 Trail Mate 设备的最终用户,可以查看状态、收发消息、配置设备、使用诊断工具
-
用户 -> 查看硬件状态
参与关系
用户查看硬件
-
查看硬件状态 -> 查看设备概览
includes
概览页包含部分硬件状态
-
查看数据详情 -> 查看硬件状态
includes
数据页依赖硬件传感器
-
用户 -> 查看硬件状态
参与关系
用户查看硬件状态
-
查看硬件状态 -> 查看设备概览
includes
概览页面包含部分硬件状态
-
查看数据详情 -> 查看硬件状态
includes
数据页依赖硬件传感器
支撑当前候选用例的文件、代码证据、规范或推断证据。
-
证据 1 · 本地仓库扫描 · apps/linux_uconsole_gtk/src/platform/gtk/gtk_uconsole_hardware_logic.cpp · 1-1
FACT:strong
硬件页面逻辑负责调用各种硬件状态检查函数
refreshHardwarePage, makeHardwarePageLifecycle -
证据 2 · 本地仓库扫描 · boards/tlora_pager/src/tlora_pager_board.cpp · 1-1
FACT:strong
硬件状态查询的实现
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_view_hardware_status(["查看硬件状态"])
end
end
actor_actor_user --- useCase_use_case_view_hardware_status
场景路径
主成功路径
- 用户选择查看硬件状态
- 系统依次检查 GPS、无线电、传感器、SD 卡、电池等
- 系统显示每个硬件的状态(就绪/未就绪/错误)及电池电量、温度、充电状态
- 用户选择硬件状态页面
- 系统逐一查询各个硬件模块的状态并显示
备选路径
- 无
失败路径
- 某硬件不可用时显示为未就绪,不影响其他硬件检查
- 某个硬件模块无响应,显示未就绪
变更记录
恢复或更新候选用例图「查看硬件状态」。