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