AdaCore

Military Grade Software Solutions

For 30 years, AdaCore has provided critical support to the global defence industry when developing military-grade software-based systems. AdaCore is a leading expert in adhering to stringent safety, security, and dependability requirements.

AdaCore customers are guaranteed complete supply chain security through transparency and traceability by offering solutions based on internationally recognized standards and open-source technology.

Military applications are unique in combining high safety stakes and system criticality with maintenance requirements and service life spanning decades. Software systems often need to be ported across generations of hardware and require development environments that provide excellent portability and stability.

In addition, an ever-increasing threat over the past decade has been cyber security attacks. These have introduced a new level of effort required to produce a system that can maintain its required and expected integrity level. Analysis technologies are becoming critical to assist developers in ensuring that their software is exempt from vulnerabilities that could be used as a backdoor by a potential attacker.

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. AdaCore customers include leaders from the global military industry, such as BAE Systems, Boeing, Lockheed Martin, Airbus Defence and Space, Capgemini, Leonardo, Raytheon Technologies, GE Aviation, Rolls Royce, General Dynamics, QinetiQ, MBDA, Saab, and Thales.