1设备需求与安全状态
闭卷重建设备需求与安全状态的对象、状态、事件、不变量与一个失败反例。
嵌入式系统与实时编程 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2硬件软件接口契约
闭卷重建硬件软件接口契约的对象、状态、事件、不变量与一个失败反例。
3驱动、状态机与RTOS集成
闭卷重建驱动、状态机与RTOS集成的对象、状态、事件、不变量与一个失败反例。
4功耗、可靠性与诊断
闭卷重建功耗、可靠性与诊断的对象、状态、事件、不变量与一个失败反例。
5测试矩阵与发布门槛
闭卷重建测试矩阵与发布门槛的对象、状态、事件、不变量与一个失败反例。
6实验：设备控制器仿真
闭卷重建实验：设备控制器仿真的对象、状态、事件、不变量与一个失败反例。
7实验：实时验收报告
闭卷重建实验：实时验收报告的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：硬件软件接口契约必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕硬件软件接口契约用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：硬件软件接口契约不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：设备需求与安全状态必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕设备需求与安全状态用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：设备需求与安全状态不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：功耗、可靠性与诊断必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕功耗、可靠性与诊断用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：功耗、可靠性与诊断不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：驱动、状态机与RTOS集成必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕驱动、状态机与RTOS集成用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：驱动、状态机与RTOS集成不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：实验：设备控制器仿真必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕实验：设备控制器仿真用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：实验：设备控制器仿真不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：测试矩阵与发布门槛必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕测试矩阵与发布门槛用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：测试矩阵与发布门槛不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：实验：实时验收报告必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕实验：实时验收报告用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：实验：实时验收报告不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。