Bifröst : Visualizing and Checking Behavior of Embedded Systems across Hardware and Software
summary
Bifröst records Arduino behavior by rewriting user code to emit timestamped prints captured on a Saleae logic analyzer so electrical pin activity and variable values align in one trace, with a reported side channel rate of about 2 megabod. The system shows per-line execution in the editor, compares ADC and output traces to reveal bugs (8-bit truncation of a 10-bit ADC, miswiring, case-equals errors), runs automatic JavaScript checks plus a small DSL for user checks, and helps users (10-person study) find hardware/software boundary faults.
AI-written summary · about
chapters (10)
- 0:00Start
- 0:59Noise Level Monitor
- 3:04Print Debugger
- 3:20Breakpoint debugging
- 3:53IDE overview
- 5:26DigitalWrite Check
- 6:07ADC Overflow
- 7:08Missed Case
- 10:03Capture: Setup
- 10:41Capture: Inspection
related talks
16mWiFröst: Bridging the Information Gap for Debugging of Networked Embedded Systems
37mIt's a Hardware Bug and I can Prove It
20mThe Toastboard: Ubiquitous Instrumentation and Automated Checking of Breadboarded Circuits
02h 00mAdvanced Debug and Trace Tools for RISC-V Architectures
36mObservability and performance analysis with BPF
21mVisualizing and Recording the true Runtime Behavior of a RISC V based App
43meBPF Superpowers for SRE
12mDemo: RISC-V 64 Bit Debug and Trace