AdaCore has developed several strategic alliances and partnerships that allow our customers to benefit from an increasing number of powerful tools and services.

Strategic Alliances

Capgemini Engineering

Capgemini Engineering is a specialist systems and software house, focused on the engineering of systems with demanding safety, security or innovation requirements. Capgemini Engineering leads the world in specific areas of advanced systems engineering and innovation such as: ultra low defect software engineering, Human Machine Interface (HMI), safety engineering for complex or novel systems and tools (such as SPARK) /methods for systems engineering. Capgemini Engineering, in partnership with AdaCore, provides SPARK Pro – the foremost language, toolset and design discipline for the engineering of high-assurance software.


Verocel has developed the certification package for run-time library components accompanying the GNAT Pro High Integrity Edition. This package contains all of the artifacts required to satisfy the objectives of DO-178B for a Level A system.

Wind River

Wind River is a global leader in delivering software for the intelligent edge. The company’s technology has been powering the safest, most secure devices in the world since 1981 and is found in more than 2 billion products. Wind River offers a comprehensive portfolio supported by world-class global professional services and support and a broad partner ecosystem. Wind River software and expertise are accelerating digital transformation of critical infrastructure systems that demand the highest levels of safety, security, and reliability. To learn more, visit

Development Tools

Distributed Middleware – CORBA and DDS:

Objective Interface Systems

Objective Interface Systems, Inc. (OIS) is the leading global provider of middleware solutions for inter-process communication for disparate systems. OIS offers ultra-low latency, real-time connectivity software development tools for use in complex and demanding environments, such as aerospace, defense, automotive, telecommunications, financial, medical, robotics, industrial automation, and consumer electronics. The ORB/express/ product family is the most widely deployed communications framework for distributed and heterogeneous systems where failure is not an option.

Real-Time Innovations (RTI)

RTI Data Distribution Service is a high-performance messaging and data-caching solution for the development and integration of applications that require low latency, high throughput, high scalability, deterministic responses and minimal consumption of network, processor and memory resources. RTI Data Distribution Service with GNAT Pro combines the unsurpassed messaging performance of RTI middleware, the portability and interoperability provided by the DDS standard, and the powerful development environment of GNAT Pro to build high-performance, fully standards-compliant distributed applications.


Lynx Software Technologies

Lynx Software Technologies provides advanced high assurance and safe system development platforms that empower innovative companies to create the safest, most secure systems in the world. Lynx is committed to providing the highest levels of safety and security. LynxOS-178 is an industry proven DO-178C DAL A RTOS to that offers the interoperability benefits of POSIX, ARINC-653, and FACE. LynxOS-178 is also the first and only time- and space-partitioned RTOS awarded the FAA Reusable Software Component (RSC) dramatically reducing customer certification costs. LynxOS-178 can also be deployed as a guest on LynxSecure , our secure separation kernel and virtualization solution for the development of highly safe and secure systems. Lynx customers have been deploying GNAT Pro based solutions in the aerospace and defense markets for many years.


SYSGO provides innovative operating system technology, middleware, and software services for the real-time and embedded market. A differentiating capability of SYSGO is the Safe and Secure Virtualization platform PikeOS, a new generation of RTOS which is built upon a small, fast, and safe microkernel. It supports the co-existence of independent Guest OS or APIs “personalities” on a single platform, including ELinOS, SYSGO’s industrial grade embedded Linux distribution. PikeOS is DO-178B, IEC 61508, and EN50128 certifiable, and is MILS compliant. It includes CODEO, an Eclipse-based integrated development environment, and has the widest range of operational “personalities” (i.e. Linux but also ARINC-653, POSIX, Ada, Java, iTRON, etc.) on the market. PikeOS, like ELinOS, is hardware independent and is the first implementation of multi-core SMP support already integrated within a certified code basis. GNAT Pro supports both PikeOS and ELinOS.

Wind River

Wind River is a worldwide leader in embedded software providing development tools, real-time operating systems, and advanced connectivity for use in products in a variety of markets including aerospace and defense. GNAT Pro is a well-established and widely-used product on Wind River platforms.

Analysis and Testing


Axivion, based in Stuttgart, Germany, is a provider for innovative software solutions for static code analysis and for protection from software erosion. The core product of Axivion is the Axivion Suite, a tool suite for the improvement of software quality and maintainability of software systems implemented in the programming languages C, C++ and C#. In addition to static code analysis, the tool suite includes innovative software tools for architecture verification and clone management. Moreover, the tool suite detects software erosion factors such as cycles, dead code and violations of programming rules.

Axivion’s MISRA checker covers 100% of all automatically testable MISRA rules for the standards MISRA C:2004, MISRA C:2012, and MISRA C++:2008. Furthermore, the AUTOSAR C++14 styleguide as well as the CERT® programming rules for secure software development, rules for C Secure Coding (ISO/IEC TS 17961), and CWE (Common Weakness Enumeration) are supported. The static code analysis package of Axivion Suite is certified for its suitability in safety systems according to ISO 26262 up to ASIL D, IEC 61508 up to SIL 4 and IEC 62304 up to Class C.

The Professional Services Team of Axivion supports customers with comprehensive service and advice on the configuration and integration of the tools.

Axivion’s customers are companies that develop innovative technical software across different industries, e.g. industrial automation, automotive, railway, electronics, information and telecommunication, avionics, medical, mechanical engineering, as well as measurement, control and regulation technology.


The LDRA tool suite is deployed throughout the software development lifecycle for Code Review, Quality Review, Design Review, Unit Test and Test Verification. The integration of the LDRA tool suite with GNAT Pro helps embedded developers overcome the challenges of testing real-time Ada95/83 software in circumstances where applications are required to be reliable, rugged and as error free as possible. The LDRA tool suite also provides facilities to assist users to meet recognised Ada standards and subsets such as the Ravenscar Profile and the SPARK safe-subset for Safety-Critical and High-Integrity systems.

Rapita Systems

Rapita Systems is the leading supplier of on-target software verification tools and services. Providing quality solutions to the global high-integrity aerospace and automotive electronics industries, we help to increase software quality, deliver evidence to meet safety and certification objectives and reduce project costs.

The Rapita Verification Suite (RVS) makes software testing more efficient and reliable. It integrates with existing development environments and offers flexible, low overhead strategies to collect verification data including unit test, structural coverage and worst-case execution time data from the most complex targets including multicore processors. RVS was designed with safety in mind and is qualifiable for use in environments such as DO-178C/ED-12C and ISO 26262.

Supporting its position as a key provider of verification solutions, Rapita Systems provides expert V&V services aimed at safety or mission-critical environments, supporting a range of activities including unit, integration, system and acceptance testing, timing analysis and optimization, compiler validation and assurance services.


Synopsys builds trust in software by enabling organizations to manage application security, quality, and compliance risks at the speed their business demands.

Vector Software

VectorCAST Test Automation Platform for Ada was developed using Ada, on its own it delivers consistent repeatable real-time testing on your hardware or simulator. VectorCAST supports Continuous Integration, Change Based Testing and DevOps, scalable from single UUT up to massively parallel for larger teams, for the optimal applications development experience. With our AdaCore CodePeer 3.0 integration you receive the definitive Test and Test Management solution for Ada: Resolving test solutions to DO-178B/C Level A, aggregating Static and Dynamic test data with VectorCAST/CBA (Coverage By Analysis) providing the single set of metrics required for Safety Critical Code Coverage certification. VectorCAST has been automatically building Ada test frameworks for GNAT Pro more than a decade, including GNAT Pro High Integrity Edition for bare-metal and all high integrity OS, and Hypervisors. VectorCAST supports Ada, Ravenscar and SPARK project management, for the elimination of Technical Debt, it enables the Baselining of legacy code, and migration to newer versions of Ada or extensions without compromising the integrity of the existing code base.

Hardware Probes


iSYSTEM's Blue Box Technology stands for fast and easy microcontroller access via any kind of microcontroller debug interface. While supporting all the common run control facilities of the various On Chip Debug interfaces that are used for development and testing on target hardware, access to higher level OCD facilities, such as Class 2, 3 and 4 Nexus as well as ETM messages, is also available. iSYSTEM has worked with AdaCore to facilitate the integration of Nexus Program Trace message data into AdaCore's GNATcoverage product, providing a coverage analysis tool which works with uninstrumented code running on the actual target hardware.


Lauterbach is the world's largest producer of hardware-assisted debug tools. We have been making world-class debuggers and emulators ever since the company was founded in 1979.

Our partnership with AdaCore helps our mutual customers to more easily develop robust and fault-tolerant mission-critical systems with Ada. This is increasingly important with the need for safety and security expanding from the avionics and military markets into automotive, medical and IoT.

Our product line TRACE32R supports the main embedded processor debug technologies including JTAG, BDM, NEXUS and ETM. The family of tools includes embedded debuggers, along with software and hardware trace and logic analyzer systems for over 3500 cores and CPUs from within 250 families such as ARM9, ARM11, CORTEX, PowerPC, MIPS, and TriCore.

Research Partners


Since 2010 AdaCore has been collaborating on formal methods research with Inria's Toccata team, and in 2014 the two organizations established the ProofInUse laboratory to provide open-source mathematics-based verification tools to industry users. The AdaCore / Inria collaboration was instrumental in bringing about the SPARK 2014 version of the SPARK technology, which includes Inria's Why3 platform at its core. Inria, the French National Institute for computer science and applied mathematics, promotes “scientific excellence for technology transfer and society”. The Toccata team is part of INRIA Saclay and the Laboratoire de Recherche en Informatique (UMR Université Paris-Sud and CNRS), focused on developing and distributing software for program proof.


Hex Five Security

Hex Five Security, Inc. is the creator of MultiZone™ Security, the first trusted execution environment for RISC-V processors. Hex Five open standard technology provides policy-based, hardware-enforced separation for an unlimited number of security domains, with full control over data, code and peripherals. Contrary to traditional solutions, Hex Five MultiZone™ requires no additional cores, specialized hardware or changes to existing software. Open source libraries, third party binaries and legacy code can be configured in minutes to achieve unprecedented levels of safety and security. A special edition of the MultiZone SDK for Ada developers is available on GitHub.


NVIDIA’s (NASDAQ: NVDA) invention of the GPU in 1999 sparked the growth of the PC gaming market, redefined modern computer graphics and revolutionized parallel computing. More recently, GPU deep learning ignited modern AI ― the next era of computing ― with the GPU acting as the brain of computers, robots and self-driving cars that can perceive and understand the world. NVIDIA works with AdaCore to leverage Ada and SPARK programming languages for software security.


wolfSSL focuses on providing lightweight and embedded security solutions with an emphasis on speed, size, portability, features, and standards compliance. Current products include the wolfSSL embedded TLS library, wolfCrypt embedded crypto engine, wolfCrypt FIPS, DO-178C, wolfMQTT, wolfSSH, and wolfSSL JNI wrapper. wolfSSL has support for complete RTCA DO-178C level A certification, offers FIPS 140-2 and 140-3 compliance, and an Ada/SPARK binding is now available through the wolfSSL embedded SSL/TLS library. It is dual-licensed to cater to a diversity of users ranging from hobbyists to those with commercial needs. We are happy to help our customers and community in any way we can. Our products are open source, giving customers the freedom to look under the hood.