How Masten Space Systems is Using Ada and SPARK to Land on the Moon’s South Pole

When Masten Space Systems was awarded a NASA contract to land scientific payloads on the Moon, the company chose to work with AdaCore’s mission-critical flight control software development and verification tools for its XL-1 Lunar Lander spacecraft. Masten Space Systems will use AdaCore’s the Ada and SPARK programming languages and AdaCore’s GNAT Pro integrated development environment and SPARK Pro static analysis verification tools in the exciting exploration project.

To learn how AdaCore can help build your space systems, please contact