该论文针对微控制器（MCU）外设建模困难的问题，提出了一种从现有外设驱动程序中自动合成外设模型的方法。核心思想是利用驱动程序对外设寄存器的读写操作序列作为“镜像”，通过分析驱动代码中的寄存器访问模式，逆向推导出外设的行为规范，并生成可用于仿真或验证的形式化模型。方法包括三个步骤：首先静态分析驱动程序二进制或源码，提取寄存器地址、数据依赖和时序约束；其次构建基于有限状态机（FSM）的抽象模型；最后通过符号执行和约束求解验证模型一致性。实验基于多个主流MCU（如STM32、ESP32）的外设驱动，结果表明该方法能高效合成高保真模型，覆盖率达到90%以上，且成功用于发现驱动与固件间的行为不匹配。该工作为MCU固件安全分析、硬件辅助测试及外设仿真提供了新途径。