AdaCore

AdaCore helps developers build mission-critical applications that extend to the farthest reaches of human exploration. For over 25 years, AdaCore has provided critical support to the global space industry when developing industrial grade software based systems adhering to stringent safety, security and dependability requirements. By providing solutions based on internationally recognised standards and open source technology, AdaCore’s customers are guaranteed complete supply chain security through transparency and traceability. The company’s extensive experience in certification and qualification supports our aerospace customers in meeting the European Space standards ECSS-E-ST-40C and ECSS-Q-ST-80.

AdaCore helps developers build mission-critical applications that extend to the farthest reaches of human exploration.

For over 25 years, AdaCore has provided critical support to the global space industry when developing industrial grade software based systems adhering to stringent safety, security and dependability requirements. By providing solutions based on internationally recognised standards and open source technology, AdaCore’s customers are guaranteed complete supply chain security through transparency and traceability. The company’s extensive experience in certification and qualification supports our aerospace customers in meeting the European Space standards ECSS-E-ST-40C and ECSS-Q-ST-80.

AdaCore’s world-class open source software development and verification tooling experts have supported over 1,200 projects and 500 clients worldwide in high assurance and high capability applications, to meet demanding project requirements around safety, security, platform availability and budgets. Customers include leaders from the global space industry such as: Airbus Defence and Space, AVIO, EADS Astrium, Masten Space Systems, MDA, SEAKR Engineering, Thales Alenia Space and Thales Airborne Systems.