1状态、事件与动作
闭卷重建状态、事件与动作的对象、状态、事件、不变量与一个失败反例。
嵌入式系统与实时编程 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2层次状态与正交区域
闭卷重建层次状态与正交区域的对象、状态、事件、不变量与一个失败反例。
3超时事件与时钟
闭卷重建超时事件与时钟的对象、状态、事件、不变量与一个失败反例。
4非法转移与失败关闭
闭卷重建非法转移与失败关闭的对象、状态、事件、不变量与一个失败反例。
5状态覆盖与可达性
闭卷重建状态覆盖与可达性的对象、状态、事件、不变量与一个失败反例。
6实验：设备状态机
闭卷重建实验：设备状态机的对象、状态、事件、不变量与一个失败反例。
7实验：状态可达性检查
闭卷重建实验：状态可达性检查的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：层次状态与正交区域必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕层次状态与正交区域用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：层次状态与正交区域不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：状态、事件与动作必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕状态、事件与动作用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：状态、事件与动作不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：非法转移与失败关闭必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕非法转移与失败关闭用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：非法转移与失败关闭不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：超时事件与时钟必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕超时事件与时钟用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：超时事件与时钟不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：实验：设备状态机必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕实验：设备状态机用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：实验：设备状态机不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：状态覆盖与可达性必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕状态覆盖与可达性用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：状态覆盖与可达性不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：实验：状态可达性检查必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕实验：状态可达性检查用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：实验：状态可达性检查不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。