1故障模型与安全状态
闭卷重建故障模型与安全状态的对象、状态、事件、不变量与一个失败反例。
嵌入式系统与实时编程 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2看门狗窗口与喂狗责任
闭卷重建看门狗窗口与喂狗责任的对象、状态、事件、不变量与一个失败反例。
3欠压、复位与持久状态
闭卷重建欠压、复位与持久状态的对象、状态、事件、不变量与一个失败反例。
4冗余、校验与降级
闭卷重建冗余、校验与降级的对象、状态、事件、不变量与一个失败反例。
5故障注入与恢复证据
闭卷重建故障注入与恢复证据的对象、状态、事件、不变量与一个失败反例。
6实验：窗口看门狗
闭卷重建实验：窗口看门狗的对象、状态、事件、不变量与一个失败反例。
7实验：CRC校验模型
闭卷重建实验：CRC校验模型的对象、状态、事件、不变量与一个失败反例。