该论文针对固件重宿主（firmware rehosting）技术在测试嵌入式协议栈时难以到达深层应用状态的问题展开研究。作者指出现有重宿主方法通常采用被动近似的外设行为建模，忽视了三方面关键因素：(i) 中断、MMIO 与 DMA 之间的协同调度关系；(ii) 外设内部隐含的状态转换；(iii) 多个外设之间的交互影响。为了克服这些局限，论文提出了反应式外设建模（Reactive Peripheral Modeling, RPM）抽象，将硬件外设建模为具有反应性和状态机的系统，采用事件-条件-动作（ECA）语义捕获外设行为，从而忠实刻画中断、MMIO、DMA 调度、隐式状态转换以及跨外设交互。作者在 Bluezz 系统中实现了 RPM，并针对 BLE 固件重宿主与模糊测试进行验证，在 NimBLE、Zephyr 及 Nordic SoftDevice（闭源商业栈）等代表性 BLE 协议栈上开展实验。结果表明，在 18 个测试目标上，Bluezz 的平均基本块覆盖率是之前最先进重宿主方法（state-of-the-art）的 2.6 倍以上；与既有方法大多局限于广播与扫描逻辑不同，Bluezz 能够可靠地进入已连接（connected）BLE 状态，并发现了 5 个仅在连接建立后才显现的未知漏洞。此外，作者证明 RPM 方法可泛化到运行于不同 MCU 的其他嵌入式固件。该工作的核心贡献在于提出反应式外设建模这一抽象，系统性解决了重宿主中对外设语义建模不完善的问题，提升了固件测试的深度与效率。适合固件安全研究人员、嵌入式系统测试工程师及相关方向学者阅读。