AM Radio Break-in System
A 12-channel AM radio broadcast system using Red Pitaya FPGA for emergency alert transmission in unmanned tunnels.
Features
Feature Status 12 simultaneous carrier frequencies ✅ Runtime frequency configuration (no hardware changes) ✅ AM modulation with pre-recorded audio ✅ Dynamic power scaling ✅ MVC architecture (Rust + JavaScript) ✅ Event-driven pub/sub via event bus ✅ Stateless UI — device is source of truth ✅ Network polling & auto-reconnect ✅ Fail-safe hardware watchdog (5s timeout) ✅ Formal verification (14 properties, 6 covers, all proven) ✅
Architecture
Software Layer
Framework : Rust (Tauri) backend + JavaScript frontend
: Rust (Tauri) backend + JavaScript frontend Architecture : MVC with event-driven pub/sub
: MVC with event-driven pub/sub Model ( model.rs ): NetworkManager handles TCP/SCPI, device state, 500ms polling, auto-reconnect with exponential backoff
( ): NetworkManager handles TCP/SCPI, device state, 500ms polling, auto-reconnect with exponential backoff View ( view.js , index.html ): Stateless — only renders confirmed device state. Never assumes hardware state.
... continue reading