Reverb: Ex-Vivo Rewinding IoT Device Faulty Execution Trace with Edge-Side Recording

Failures recovery is essential for forensic analysis and bug diagnosis, yet remains challenging for resource-constrained IoT devices in deployment. These devices lack facilities to record incorrect program states, and advanced hardware tracing mechanisms are typically unavailable. Production environments further restrict their already limited resources. We present Reverb , a lightweight ex-vivo IoT device failure recovery system tailored for edge-centric IoT deployments. Reverb leverages the fact that most external inputs pass through a centralized edge, enabling edge-side input recording without modifying device runtime behavior. For device-local and non-deterministic events not observable at the edge devices, we use recorded external input-guided program analysis to deduce missing local inputs. By combining recorded and inferred data, the cloud can faithfully replay complete device executions on demand. We implemented a prototype and evaluated it in both smart home and industrial scenarios. Reverb introduces no runtime overhead on devices and incurs minimal long-term storage cost. Across 19 failing executions on 13 real-world devices, it successfully reconstructed traces with high consistency to real hardware. The recovered traces further enabled automated bug diagnosis to identify root causes.

Authors

Institutions

Publication Details

Journal
ACM Transactions on Software Engineering and Methodology
Published
2026-08-14
DOI
https://doi.org/10.1145/3838730
Primary Topic
Software System Performance and Reliability
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Reverb: Ex-Vivo Rewinding IoT Device Faulty Execution Trace with Edge-Side Recording

Wei Zhou, Yuqing Zhang, Shandian Shen, Ruibo Lu et al.
ACM Transactions on Software Engineering and Methodology
Software System Performance and Reliability
article

Reverb: Ex-Vivo Rewinding IoT Device Faulty Execution Trace with Edge-Side Recording

Wei Zhou, Yuqing Zhang, Shandian Shen, Ruibo Lu, Ke Wang
article en

Abstract

Failures recovery is essential for forensic analysis and bug diagnosis, yet remains challenging for resource-constrained IoT devices in deployment. These devices lack facilities to record incorrect program states, and advanced hardware tracing mechanisms are typically unavailable. Production environments further restrict their already limited resources. We present Reverb , a lightweight ex-vivo IoT device failure recovery system tailored for edge-centric IoT deployments. Reverb leverages the fact that most external inputs pass through a centralized edge, enabling edge-side input recording without modifying device runtime behavior. For device-local and non-deterministic events not observable at the edge devices, we use recorded external input-guided program analysis to deduce missing local inputs. By combining recorded and inferred data, the cloud can faithfully replay complete device executions on demand. We implemented a prototype and evaluated it in both smart home and industrial scenarios. Reverb introduces no runtime overhead on devices and incurs minimal long-term storage cost. Across 19 failing executions on 13 real-world devices, it successfully reconstructed traces with high consistency to real hardware. The recovered traces further enabled automated bug diagnosis to identify root causes.

ACM Transactions on Software Engineering and Methodology
University of Chinese Academy of Sciences (CN), Huazhong University of Science and Technology (CN)
Openalex Percentile: Top 7%
Software System Performance and Reliability
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Reverb: Ex-Vivo Rewinding IoT Device Faulty Execution Trace with Edge-Side Recording — Wei Zhou, Yuqing Zhang, et al. · ACM Transactions on Software Engineering and Methodology (2026) | TGRS Research Map | TGRS