Writing Apps For Mars!
summary
Curiosity’s flight software runs on two identical 133 MHz 32‑bit computers with 256 MB RAM and nuclear RTG power, executes more than 120 concurrent threads, and uses VxWorks; the entire flight image is 21 megabytes. Over five years the rover drives ~11 miles, navigation uses stereo vision and local auto‑nav, and the codebase is ~4 million lines of code (≈1M hand written, ≈3M model‑generated) built with formal methods and strict Power of 10 rules.
AI-written summary · about
chapters (13)
- 0:00Start
- 0:13Writing Apps for Mars
- 2:18Twin Rovers Spirit and Opportunity
- 3:18Gale Crater
- 10:08Simplicity
- 10:55Mission Controllers
- 13:59Rover Drivers
- 15:45Rover Command Sequence
- 16:43Auto Navigation Mode
- 20:15Hardware and Cross-Platform Topics
- 26:15Handling Intermittent Connectivity
- 33:02Programming Languages
- 38:45Tool Based Compliance Checks
related talks
01h 26mC++ on Mars: Incorporating C++ into Mars Rover Flight Software
36mFun with Rusty Robots
37mNerves - Getting Started, and the Road Ahead
39mThe Future of APP Development
31mThe Lego Line Follower Challenge
37mIf it can compute, it can run Ratatui
32mSpace, The Rusty Frontier
48mRobotics and Sensors Using Erlang