Armada delivers over-the-air updates to robotics fleets with cryptographic verification, automatic rollback, and real-time fleet visibility. Built on NixOS for reproducible, delta-efficient deployments.
See every device, every deployment, every event. The dashboard polls the control plane every 5 seconds so you never miss a rollback.
Built for teams who ship software to physical robots and can't afford to drive out and fix a bricked device.
Every deployment is a Nix store path — a SHA-256 hash of all build inputs. The device's running state and the desired state are compared by a single string. No ambiguity, no drift.
The on-device watchdog has a 90-second health window. If the new software doesn't report healthy, the device reverts to the previous generation automatically. No network required.
Nix computes the set difference between what's on the device and what needs to be. Only missing store paths are transferred. A typical update sends 2-5% of the full closure.
Watch every deployment event as it happens: nix copy progress, reboot, health checks, rollbacks. Full event timeline for post-mortem debugging.
NixOS captures every library, kernel module, CUDA version, and ROS2 package in the deployment hash. No runtime dependency resolution. What you build is exactly what runs.
Robots in the field can signal they're on a critical mission. Armada won't interrupt. When the mission completes, updates resume automatically.
A deliberately simple protocol. No agents phoning home to a complex orchestrator. Just a store path comparison and a reboot.
Push to main. CI builds the NixOS closure and pushes the artifact to the binary cache.
Roll out to the entire fleet, A/B test across a subset, or target a single device. One click from the dashboard.
Each device detects the new version, downloads only what changed, and reboots into the update.
The device confirms the new software is healthy. If anything goes wrong, it automatically rolls back — no network or operator needed.
Every component is replaceable. The agent and watchdog are stdlib-only Go binaries. The control plane is a FastAPI app. The dashboard is React.
Armada is open source. Clone the repo and deploy to your first Jetson in an afternoon.
Get Started on GitHub