39 lines
1.4 KiB
Markdown
39 lines
1.4 KiB
Markdown
# 试验设备看门狗监控器需求规格说明
|
||
|
||
版本：1.0
|
||
|
||
## 1 背景与目标
|
||
|
||
监测试验设备控制板的心跳与上电稳定期，超时后锁存维护告警，并支持人工确认复位
|
||
|
||
本文描述预期行为和验收口径，作为实现与验证的输入
|
||
|
||
## 2 业务边界
|
||
|
||
该系统用于试验、保障和状态监测，不承担飞行控制、武器控制或实时安全闭环决策。输入数据可能缺失、乱序或损坏，系统必须给出可追溯的拒收或降级结果
|
||
|
||
## 3 功能需求
|
||
|
||
### REQ-VERILOGWATCHDOGSUPERVISOR-01 上电复位期间不得输出超时告警
|
||
|
||
### REQ-VERILOGWATCHDOGSUPERVISOR-02 心跳沿到来时应清空运行期计时
|
||
|
||
### REQ-VERILOGWATCHDOGSUPERVISOR-03 连续超过设定窗口无心跳时应告警
|
||
|
||
### REQ-VERILOGWATCHDOGSUPERVISOR-04 超时告警应锁存，不因后续心跳自动清除
|
||
|
||
### REQ-VERILOGWATCHDOGSUPERVISOR-05 人工确认只可在心跳已恢复后清除告警
|
||
|
||
### REQ-VERILOGWATCHDOGSUPERVISOR-06 计数达到上限后不得继续溢出
|
||
|
||
## 4 非功能需求
|
||
|
||
- 同一输入应产生确定性结果
|
||
- 异常输入不得造成越界访问或静默接受
|
||
- 输出应包含足以追溯原始输入和判定原因的信息
|
||
- 小规模离线环境可独立运行，不依赖网络服务
|
||
|
||
## 5 验收准则
|
||
|
||
仿真正常心跳、心跳停止、超时后恢复与人工确认；核对告警锁存和清除条件
|