1驱动分层与寄存器边界
闭卷重建驱动分层与寄存器边界的对象、状态、事件、不变量与一个失败反例。
嵌入式系统与实时编程 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2中断入口与上下文
闭卷重建中断入口与上下文的对象、状态、事件、不变量与一个失败反例。
3ISR最小化与延后处理
闭卷重建ISR最小化与延后处理的对象、状态、事件、不变量与一个失败反例。
4优先级、嵌套与延迟
闭卷重建优先级、嵌套与延迟的对象、状态、事件、不变量与一个失败反例。
5DMA与缓冲所有权
闭卷重建DMA与缓冲所有权的对象、状态、事件、不变量与一个失败反例。
6实验：中断事件队列
闭卷重建实验：中断事件队列的对象、状态、事件、不变量与一个失败反例。
7实验：环形缓冲区
闭卷重建实验：环形缓冲区的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：中断入口与上下文必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕中断入口与上下文用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：中断入口与上下文不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：驱动分层与寄存器边界必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕驱动分层与寄存器边界用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：驱动分层与寄存器边界不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：优先级、嵌套与延迟必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕优先级、嵌套与延迟用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：优先级、嵌套与延迟不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：ISR最小化与延后处理必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕ISR最小化与延后处理用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：ISR最小化与延后处理不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：实验：中断事件队列必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕实验：中断事件队列用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：实验：中断事件队列不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：DMA与缓冲所有权必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕DMA与缓冲所有权用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：DMA与缓冲所有权不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：实验：环形缓冲区必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕实验：环形缓冲区用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：实验：环形缓冲区不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。