AdaCore: Build Software that Matters
AdaCore Hero Image
Nov 19, 2025 | Webinars

Navigating Mars with Rust: Putting Rust to the Test

Learn why everyone’s talking about Rust and explore this language’s impressive capabilities. How easy is it to start building in Rust? We’re putting Rust to the test by creating a navigational re-routing system for a M.A.R.S. Rover robot.

Agenda:
- Putting Rust to the Test: what we’re doing and why
- What we’ve done so far: hardware and software
- About the Rover’s Re-routing system (and why Rust)
- Code Demo: starting to build with Rust

Videos_

Latest Videos