1串行帧与波特率
闭卷重建串行帧与波特率的对象、状态、事件、不变量与一个失败反例。
嵌入式系统与实时编程 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2UART缓冲与错误标志
闭卷重建UART缓冲与错误标志的对象、状态、事件、不变量与一个失败反例。
3SPI主从与模式
闭卷重建SPI主从与模式的对象、状态、事件、不变量与一个失败反例。
4I2C寻址、应答与仲裁
闭卷重建I2C寻址、应答与仲裁的对象、状态、事件、不变量与一个失败反例。
5总线超时与恢复
闭卷重建总线超时与恢复的对象、状态、事件、不变量与一个失败反例。
6实验：UART帧解析
闭卷重建实验：UART帧解析的对象、状态、事件、不变量与一个失败反例。
7实验：I2C事务模拟
闭卷重建实验：I2C事务模拟的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：UART缓冲与错误标志必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕UART缓冲与错误标志用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：UART缓冲与错误标志不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：串行帧与波特率必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕串行帧与波特率用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：串行帧与波特率不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：I2C寻址、应答与仲裁必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕I2C寻址、应答与仲裁用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：I2C寻址、应答与仲裁不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：SPI主从与模式必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕SPI主从与模式用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：SPI主从与模式不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：实验：UART帧解析必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕实验：UART帧解析用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：实验：UART帧解析不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：总线超时与恢复必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕总线超时与恢复用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：总线超时与恢复不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：实验：I2C事务模拟必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕实验：I2C事务模拟用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：实验：I2C事务模拟不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。