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