AdaCore + Defense
Modern defense systems depend heavily on software for mission-critical functionality. But this software must operate in complex and rapidly evolving environments that incorporate AI, autonomous systems, and next-generation sensor technologies, while supporting platforms in service for decades.
Where Our Technology Makes a Difference
Mission Systems
AdaCore supports mission systems by providing robust software development tools and technologies designed to meet the rigorous demands of mission-critical applications. With expertise in high-assurance programming languages like Ada, SPARK, and Rust, AdaCore delivers solutions that prioritize reliability, security, and long-term maintainability.
Command Control Systems
We provide robust, high-assurance software solutions for Defense Command and Control (C2) Systems, ensuring reliability, security, and real-time performance.
Radar
AdaCore supports radar systems with high-integrity software to ensure accurate target detection and tracking. Our GNAT Pro and SPARK Pro toolchains help develop mission-critical applications that meet strict reliability and security standards.
Launchers
AdaCore’s high-assurance software solutions for missile and artillery launcher systems, as well as missile defense systems, ensure precision, reliability, and safety. Using Ada and SPARK technologies, our solutions support real-time targeting, automated firing sequences, robust fault tolerance, and compliance with strict safety and security standards, critical for split-second decision-making in defense operations.
Unmanned Vehicles
Our tools enable the development of safe, reliable, and autonomous software for unmanned vehicles, ensuring they operate reliably in challenging environments while meeting industry standards.
Tactical Systems
AdaCore's Ada and SPARK technologies provide trusted, high-integrity software for tactical command and control systems, ensuring robust cybersecurity, mission resilience, and deterministic execution for military forces.
Integrity in the Face of Adversity
Platform Diversity
As technology evolves, defense software needs to maintain multiple generations of OS and hardware, often adopting specific dedicated environments.
Cybersecurity
Defense software runs in an aggressive environment. It needs to be protected against cyber threats more rigorously than any other application.
Longevity
Defense Systems have maintenance lives spanning decades. They need the ability to procure support for tools and technology delivered at any point of the cycle.
All-in-One Software Developer Toolkit
AdaCore provides compilation, verification, and certification-ready tools for Ada, C/C++, and Rust, supporting platforms from bare-metal embedded systems to full server environments. Integrated testing and analysis, combined with compliance with industry standards, ensure robust, mission-critical software development.
Development
Ada, C/C++ and Rust
Support is provided for a wide set of languages relevant to embedded and safety-critical software development:
- Ada 83, 95, 2005, 2012 and 2022
- C89 to C20 and C++98 to C++20
- Rust starting with 1.77.2
DevOps
All tools provided for developers are DevOps-ready and can be integrated into off-the-shelf or custom pipelines.
Customizable Runtimes
Language runtimes can be customized to limit the number of code they contain, from full capability to minimized resource footprint and certification costs, allowing them to be used on large server systems as well as resource-constrained environments.
LLVM and GCC
AdaCore toolchains are industrial-grade versions of the GCC and LLVM compilers, allowing ease of integration in widespread and known environments and pipelines.
Verification
Static Analysis for Ada
Static Analysis technologies is provided for all version of Ada. It covers area such as:
- Code issue scanning
- Cybersecurity weaknesses detection
- Bug identification
- Metric computation
Static Analysis for C/C++
Static Analysis technologies is provided for C/C++. It covers area such as:
- Code issue scanning
- Cybersecurity weaknesses detection
- Bug identification
- Coding standard compliance, including MISRA-C and MISRA-C++
- Metric computation
Dynamic Analysis Suite
Dynamic Analysis covers Ada, C/C++ and Rust, addressing various areas:
- Unit Testing
- Structural Code Coverage up to MC/DC
- Code Fuzzing
Compliance
Future Airborne Capability Environment
AdaCore’s tools support the FACE standard by providing Ada development environments, FACE-conformant run-time libraries, and capability set enforcement to ensure portability and compliance.
Software Bill of Material
AdaCore produces Software Bills of Materials (SBOMs) for all AdaCore products supplied in the industry-standard SPDX format, allowing automated incorporation into customers’ vulnerability management and reporting systems.
DO-178B/C
The AdaCore toolchain meets requirements of DO-178 certification requirements. In particular:
- Embedded language run-time libraries are certified up to DAL-A
- Structural Coverage and coding standard checkers are qualified TQL-5
- A compiler traceability study can be provided to address DAL-A coverage requirements
- Software can be actively supported over decades, provided with known-problem monitoring, issues impact analysis and targeted toolchain fixes
Export Control
AdaCore software is classified as low-risk commercial technology under U.S. and EU export regulations and can generally be exported without a license within North America and Europe, subject only to narrow restrictions.
Elevate Safety with MISRA C/C++, Rust, and SPARK
SPARK, Rust, and MISRA C/C++ offer a gradient of possibilities for approaching safety. These are not just about different languages; they are about shifting developers' mindsets and processes when pursuing the highest level of reliability.
A formally verifiable subset of Ada that enables mathematical proof of correctness. Eliminates entire classes of errors, providing the highest level of assurance for critical software.
A modern systems language with ownership and borrowing to enforce memory safety. Reduces runtime risks, though concurrency and “unsafe” code require careful handling.
Widely used industry guidelines that mitigate many of C/C++’s inherent risks. Helps structure development, but safety depends on process discipline.
Powering the Widest Range of Platforms in the Industry
We support over one hundred off-the-shelf and custom platforms across the industry.
Develop Portable and Reusable Software
Discover how AdaCore technologies support FACE requirements for mission-critical software.
Trusted Across the Industry
Over one hundred companies across high-integrity industries have chosen our technology to meet the highest standards of safety, reliability, and performance.
In our kind of development, it is very important to avoid bugs, or to find and repair them at an early stage, since those that remain in a deployed system are both expensive to fix and can cause a disastrous result. For this reason, a static analysis tool is a great help.
