1模型、仿真与真实硬件差异
闭卷重建模型、仿真与真实硬件差异的对象、状态、事件、不变量与一个失败反例。
嵌入式系统与实时编程 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2虚拟寄存器与外设桩
闭卷重建虚拟寄存器与外设桩的对象、状态、事件、不变量与一个失败反例。
3时序故障注入
闭卷重建时序故障注入的对象、状态、事件、不变量与一个失败反例。
4硬件在环接口与隔离
闭卷重建硬件在环接口与隔离的对象、状态、事件、不变量与一个失败反例。
5电源、探头与执行器安全
闭卷重建电源、探头与执行器安全的对象、状态、事件、不变量与一个失败反例。
6实验：外设脚本回放
闭卷重建实验：外设脚本回放的对象、状态、事件、不变量与一个失败反例。
7实验：HIL安全门禁
闭卷重建实验：HIL安全门禁的对象、状态、事件、不变量与一个失败反例。