1故障模型与安全状态
闭卷重建故障模型与安全状态的对象、状态、事件、不变量与一个失败反例。
嵌入式系统与实时编程 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2看门狗窗口与喂狗责任
闭卷重建看门狗窗口与喂狗责任的对象、状态、事件、不变量与一个失败反例。
3欠压、复位与持久状态
闭卷重建欠压、复位与持久状态的对象、状态、事件、不变量与一个失败反例。
4冗余、校验与降级
闭卷重建冗余、校验与降级的对象、状态、事件、不变量与一个失败反例。
5故障注入与恢复证据
闭卷重建故障注入与恢复证据的对象、状态、事件、不变量与一个失败反例。
6实验：窗口看门狗
闭卷重建实验：窗口看门狗的对象、状态、事件、不变量与一个失败反例。
7实验：CRC校验模型
闭卷重建实验：CRC校验模型的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：看门狗窗口与喂狗责任必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕看门狗窗口与喂狗责任用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：看门狗窗口与喂狗责任不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：故障模型与安全状态必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕故障模型与安全状态用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：故障模型与安全状态不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：冗余、校验与降级必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕冗余、校验与降级用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：冗余、校验与降级不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：欠压、复位与持久状态必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕欠压、复位与持久状态用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：欠压、复位与持久状态不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：实验：窗口看门狗必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕实验：窗口看门狗用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：实验：窗口看门狗不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：故障注入与恢复证据必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕故障注入与恢复证据用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：故障注入与恢复证据不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：实验：CRC校验模型必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕实验：CRC校验模型用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：实验：CRC校验模型不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。