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