AdaCore, founded in 1994, is a provider of software development and verification tools for mission-critical, safety-critical, and security-critical systems, with a history of supporting the space industry. Their GNAT Pro development environment, which supports Ada, C, and C++, is used to build reliable software for space vehicles and satellites. AdaCore's tools and services help developers meet rigorous standards, such as ECSS-E-ST-40C and ECSS-Q-ST-80C, and their customers include organizations like the European Space Agency (ESA) and AVIO. AdaCore's products are used in onboard satellite instrumentation software, the Columbus laboratory's Core Ground System, and the Vega-C LEO launch rocket.
All verified mentions of this organization in source documents.
Masten Space Systems expects a 20 to 30 percent increase in code reuse by using Ada, SPARK, and AdaCore’s products and support.
SEAKR Engineering upgraded its Ada development environment to GNAT Pro from AdaCore to improve code efficiency and reliability.