Intermittent Computer Systems on Earth and in Space
summary
Describes a formal intermittent-execution model and a toolchain (Chain/Alpaca/Coati, EDB debugger, Capybara power manager) used to run tiny energy-harvesting devices reliably; builds a batteryless camera with on-device ML that transmits over 10 km, and a fleet of two intermittent nanosatellites (ChipSats) using CC430-class radios, gold-code CDMA, and capacitor banks (harvestable power ≈ 1–10 mW, radio ≈ 30 mA @ 3.3 V). Shows real launches (KickSat2), orbit telemetry and at least one successfully decoded packet.
AI-written summary · about
chapters (9)
- 0:00Intro
- 2:22Tethered to a power source
- 3:20Energy harvesting untethers devices
- 6:29Designing for Intermittence System Support for Reliable Intermittence
- 12:32Mixture of Volatile & Non-volatile State
- 24:26Reliable Intermittent Execution System Support for Intermittent Computing
- 32:33Configurable Harvested Energy Storage Systems
- 37:13Debugging Intermittence Toolchain Support for Understanding Intermittence
- 49:48Orbital Edge Computing: Not Like the Edges of the Earth
related talks
48mRunning an Undersea, Robotic Laboratory on a Fixed Energy Budget
06mIntermittent Learning: On-Device Machine Learning on Intermittently Powered System
01h 12mPower, Energy and Analysis
49mHARDWARE in SPACE! The Kernel at the Edge of the Universe
42mLinux in Space: Fault Detection, Recovery and Fault-Tolerant System Designs
06mMETASAT Demonstrator: Mixed Criticality, Accelerated AI Computing for Future Space Systems
01h 25mA Year In A Rainforest: Engineering For Survival
47mBoldly Going, Running Linux in Space