Masten Space Systems

XL-1 Lunar Lander

To develop their mission-critical flight control software, Masten chose the Ada and SPARK programming languages, together with AdaCore’s GNAT Pro integrated development environment and the SPARK Pro static analysis tool suite for their XL-1 Lunar Lander. The lander will transport a suite of scientific research payloads to the lunar south pole.

Read the Case Study

Last Updated: 9/29/2021
Posted on: 9/29/2021