1MCU执行模型与时钟
闭卷重建MCU执行模型与时钟的对象、状态、事件、不变量与一个失败反例。
嵌入式系统与实时编程 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2Flash、RAM与地址空间
闭卷重建Flash、RAM与地址空间的对象、状态、事件、不变量与一个失败反例。
3内存映射寄存器
闭卷重建内存映射寄存器的对象、状态、事件、不变量与一个失败反例。
4位掩码与读改写
闭卷重建位掩码与读改写的对象、状态、事件、不变量与一个失败反例。
5启动、复位与链接映像
闭卷重建启动、复位与链接映像的对象、状态、事件、不变量与一个失败反例。
6实验：寄存器位域更新
闭卷重建实验：寄存器位域更新的对象、状态、事件、不变量与一个失败反例。
7实验：地址段判定
闭卷重建实验：地址段判定的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：Flash、RAM与地址空间必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕Flash、RAM与地址空间用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：Flash、RAM与地址空间不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：MCU执行模型与时钟必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕MCU执行模型与时钟用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：MCU执行模型与时钟不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：位掩码与读改写必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕位掩码与读改写用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：位掩码与读改写不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：内存映射寄存器必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕内存映射寄存器用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：内存映射寄存器不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：实验：寄存器位域更新必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕实验：寄存器位域更新用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：实验：寄存器位域更新不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：启动、复位与链接映像必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕启动、复位与链接映像用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：启动、复位与链接映像不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：实验：地址段判定必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕实验：地址段判定用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：实验：地址段判定不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。