# 面向忠实固件运行迁移的响应式外设建模

> Bluezz 将外设建模为具有状态的事件—条件—动作系统，协调中断、MMIO 与 DMA，而非孤立处理各次访问；据此迁移 BLE 固件，进入已连接协议状态进行分析与模糊测试。

- 作者：Qinying Wang; Florian Hofhammer; Eduard Vlad; Jianqiang Wang; Marcel Busch; Shouling Ji; Mathias Payer
- 原标题：Reactive Peripheral Modeling for Faithful Firmware Rehosting
- 发表载体：arXiv
- 发表状态：预印本
- 出版／提交日期：2026 年 8 月 30 日
- 日期依据：采用 arXiv 首次提交日期，未核实另行出版的版本。
- arXiv 首次提交：2026 年 8 月 30 日
- arXiv：2608.29737
- 已复核的 arXiv 版本：v1
- 来源复核于：2026-10-20
- 收录于：2026-10-20
- 原始论文：<https://arxiv.org/abs/2608.29737>
- PDF：<https://arxiv.org/pdf/2608.29737v1>
- BibTeX：<https://awesomerea.org/papers/citations/paper-bluezz-rpm.bib>
- 目录页面：<https://awesomerea.org/zh/papers/paper-bluezz-rpm/>
- 记录 JSON：<https://awesomerea.org/papers/paper-bluezz-rpm/record.json>
- 英文版：[English](https://awesomerea.org/papers/paper-bluezz-rpm/index.md)

## 研究范围与局限

BLE 评测覆盖 18 个目标，并补充了有限的其他 MCU 案例。硬件规格、行为规则与用例驱动仍需准备和人工验证。

## 与本合集的关联

重建缺失的外设语义，使固件及协议行为可以在仿真中被观察。

## 发表与复核说明

按预印本审阅 arXiv v1：此前向会议投稿不等于录用。论文给出匿名评审产物链接，并说明录用后发布；入口页可访问，但未核实实现的可获取性及许可。

## 一手来源

1. <https://arxiv.org/abs/2608.29737v1>
2. <https://arxiv.org/html/2608.29737v1>

## 关于此条目

已依据论文及一手来源复核。请通过原始论文或 BibTeX 引用原作者。
原创说明采用 MIT 许可；外部项目、论文与素材保留各自的权利和许可。