AdaCore: Build Software that Matters
Request Pricing

Tools

  • Compilation Toolchain
  • GNAT Pro
  • GNAT Pro for Ada
  • GNAT Pro for C/C++
  • GNAT Pro for Rust
  • Formal Proof
  • SPARK Pro
  • Static Analysis
  • GNAT Static Analysis for Ada
  • CodeSonar for C/C++
  • Dynamic Analysis
  • GNAT Dynamic Analysis Suite

    • Services

  • Training & Services
  • Enterprise Training
  • Public Training
  • Mentorship

    • Get an Overview

    Explore All Offerings

    Ready To Go?

    Contact a Technical Expert

    Languages

  • Ada
  • C/C++
  • Rust
  • SPARK

    • Ready To Go?

    Contact a Technical Expert

    Industries

  • Avionics
  • Automotive
  • Defense
  • Medical
  • Rail
  • Security
  • Space
    • NVIDIA case study

    Learn how NVIDIA Adopted SPARK for Security-Critical Software Development

    View Case Study

    Company

  • About AdaCore
  • Careers
  • Partners

    • Careers

    View Opportunities

    Explore Resources

  • Publications
  • Papers
  • Books
  • Videos
  • AdaCore Digest
  • More Resources
  • Newsroom
  • Blog
  • Case Studies
  • Events
  • AdaCore's GitHub

    • The AdaCore Blog

    Explore

    Learn Ada & SPARK

    Explore

    Community

  • Academia
  • Download
    • Ada

    Get Started with Ada

    Learn More

    Support

  • GNAT Tracker Login
  • Cybersecurity Center
  • Release Notes
  • Documention
  • Development Logs
    • Fpo main nav bg 02

    Product Roadmap

    Learn More

    Latitude Case study background
    Latitude

    Latitude Adopts Ada and SPARK for Light Launcher Software in New Space Industry

    Screenshot 2023 11 22 at 10 55 51
    Case Study_

    Latitude Adopts Ada and SPARK for Light Launcher Software in New Space Industry

    In the competitive New Space industry, ingenuity, reliability, and cost-effectiveness are paramount factors. When Latitude embarked on creating their cutting-edge small satellite launcher, Zephyr, they recognized the importance of selecting the right programming language and development tools to support their efforts. After evaluating a number of candidates, Latitude settled on Ada and its formally verifiable SPARK subset. Ada and SPARK were judged to have the best support for sound software engineering practice, thus reducing life cycle costs, while meeting real-time embedded systems performance and predictability requirements. Based on their successful experience, Latitude plans to expand its use of Ada and SPARK on future projects and sees these technologies as key enablers.
    Download
    Proven in Practice_

    Customer success: real results with AdaCore technologies

    Customer

    Latitude, an innovative French aerospace startup, is revolutionizing the small satellite launch sector. With their ambitious Zephyr light launcher, they aim to cater to Europe’s burgeoning smallsat market.

    Challenge

    Latitude’s main challenge was to develop reliable and cost-effective flight software for Zephyr, ensuring safety and precision in the demanding realm of space flight.

    Solution

    After careful consideration, Latitude chose the Ada programming language and its SPARK subset for their development. These tools were selected for their robust support in engineering practices, crucial for reducing lifecycle costs and ensuring performance in embedded systems.

    Results and Benefits

    Latitude’s adoption of Ada and SPARK has led to the successful development of high-quality, reliable flight software. This choice has positioned them well for future certification and has been instrumental in advancing their Zephyr light launcher project.

    Binary code
    Built for High-Integrity Success_

    Ready to achieve the same results?

    Discover how AdaCore can help you build safe, secure, and high-integrity software tailored to your project’s needs. Speak with our team to explore solutions, pricing, and long-term support options.

    Contact Sales