Ada and SPARK Propel Aerospace Innovation
Ada and SPARK Propel Aerospace Innovation
Latitude, a French aerospace startup, selected Ada and SPARK for their Zephyr light launcher project, recognizing the languages' safety, reliability, and efficiency. The entire software, from device drivers to microcontroller logic, is written in Ada, showcasing its trust in the language's capabilities. The team leverages AdaCore's GNAT Pro and SPARK tools for robust development, positioning them for success in the competitive New Space industry.
You're viewing a single thread.
How trustworthy is the judgment of this startup regarding this selection?
Not only this startup speaks highly of Ada. Here's another example of successful application of this technology in space: SPARK/Ada for high integrity spacecraft software.