AdaCore

Military Grade Software Solutions

For over 25 years, AdaCore has provided critical support to the global defence industry when developing military 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 customers are guaranteed complete supply chain security through transparency and traceability.

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

In addition to these, 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 of 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.