Skip Navigation

Ada and SPARK Propel Aerospace Innovation

www.adacore.com /uploads/techPapers/233537-adacore-latitude-case-study-v3-1.pdf

cross-post from: https://programming.dev/post/6503260

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.

PS. They are hiring...

1
1 comments
  • TIL Ada Spark is a whole different thing from Apache Spark and I can't even complain about Ada one because it predates Apache one by 15 years.