AdaCore Software Development Tools Used for Advanced Air Defense System

Rheinmetall Air Defence is using AdaCore tools and the Ada programming language to build and test the complex, safety-critical systems that control the steering and monitoring of its sophisticated air defense cannons By DA Staff / 22 Jul 2022

Discover Leading Defense Technology Solutions

Discover cutting-edge solutions from leading global suppliers
SUPPLIER SPOTLIGHT
AdaCore Safety-Critical Software Development Tools Used for Advanced Air Defense System
Follow DA

AdaCore, a provider of software development and verification tools, has announced that Rheinmetall Air Defence is extending its use of AdaCore tools and the Ada programming language. 

Continuing an eight-year partnership, Rheinmetall is using Ada and AdaCore’s tools to build and test the complex, safety-critical systems that control the steering and monitoring of its sophisticated air defense cannons. 

These systems bring together mechanical control of the gun with advanced electronics that model and move the cannon. The mission-critical embedded solution has to multitask in real-time and achieve Safety Integrity Levels (SILs) 2 and 3 to meet varying customer needs and to enable the physical testing of the cannon.

The system has been developed in Ada due to the language’s native ability to handle concurrency reliably and efficiently and to provide early detection of errors, all critical to the cannon’s successful operation. 

Using Ada delivers the benefits of strong code performance, reduced manual effort in testing, a feature set designed for safety and security, and the stability to build and support long-lived software solutions that can be deployed across multiple generations of a platform.

A team of 12 programmers at Rheinmetall is now using AdaCore’s GNAT Pro development environment to write and update software, which has been continuously developed over 20 years. 

The current gun software contains three-quarters of a million lines of code. To facilitate software verification, Rheinmetall is using AdaCore’s CodePeer static analysis toolsuite to help detect errors and vulnerabilities and the GNAT Dynamic Analysis Suite to unit test source code. 

“To support our critical, complex project, we need a trusted, long-term partner that provides us with a combination of software tools and comprehensive support,” said Robert Sonderer, Software Development, Air Defense and Radar Systems, Rheinmetall Air Defence. “Our team sees the benefits of working together with AdaCore every day, using its range of solutions to meet our changing mission-critical needs.”

AdaCore’s technology was chosen due to its ability to work seamlessly with the Wind River VxWorks embedded operating system, which enables the internal cannon systems, and the fact that it is able to run in a portable, laptop-based environment. As physical testing takes place at Rheinmetall’s remote proving ground, where there is no external connectivity, the company relies on the ability of AdaCore’s tools to run efficiently on a laptop without requiring connections to a large server.

“Rheinmetall’s project is the perfect example of the type of safety-critical, long-lived embedded system that Ada was created for,” said Quentin Ochem, Lead of Product Management and Business Development at AdaCore. “We are pleased to have built a successful, long-term partnership with Rheinmetall, enabling them to deliver advanced air defense systems to customers around the world using our range of tools.”

Posted by DA Staff Connect & Contact

Latest Articles

Q&A with DEFCROS: Key Insights for the 2025 Expo

DEFCROS Founder Kristijan Ilovača discusses the expo’s rapid growth, international ambitions, and how the event aims to support defense and security innovators

Apr 24, 2025
Precision Airdrop System Receives Marketing Approval

ParaZero has received marketing approval from the Israeli Ministry of Defense’s DECA for the DropAir™ Precision Airdrop System, developed in collaboration with Heven Drones

Apr 24, 2025
Supporting Tactical Operations & Mission Training with Enhanced Reality Systems

FlySight explains how its OPENSIGHT Enhanced Reality System delivers layered AR visualization, real-time video enhancements, and customizable overlays for airborne, tactical, and training operations

Apr 24, 2025
Rugged Electro-Mechanical Servo Actuators for Mission-Critical Aerospace & Defense Applications

Defense Advancement showcases Ultra Motion's range of rugged electro-mechanical linear and rotary servo actuators for aerospace and defense applications

Apr 24, 2025
Leveraging Modularity for Operational Agility in Defense Applications

MilDef outlines how modularity ensures that defense forces can respond rapidly to evolving operational requirements while maintaining system longevity and performance consistency

Apr 23, 2025
Rugged Supercomputing Solutions Company Receives AI Excellence Award

Aitech has won an Artificial Intelligence Excellence Award for the A230 Vortex rugged AI supercomputer, designed to meet growing demands for higher power and enhanced efficiency

Apr 23, 2025

Featured Content

Q&A with DEFCROS: Key Insights for the 2025 Expo

DEFCROS Founder Kristijan Ilovača discusses the expo’s rapid growth, international ambitions, and how the event aims to support defense and security innovators

Apr 24, 2025
Ophir® FoldIR Lens Enhances Long-Range Imaging for Defense & Security Operations

The new Ophir® FoldIR 25-275mm MWIR zoom lens delivers compact, long-range imaging with low-SWaP performance for drones and small gimbal platforms

Apr 17, 2025
Textron Systems to Support Software & Payload Development for Navy’s MCM USV

Textron Systems is set to support the software development and payload integration for the Navy’s Mine Countermeasures (MCM) Unmanned Surface Vehicle (USV), focusing on future mission capabilities and advanced system integration

Apr 14, 2025
Advancing Defense Capability Through Strategic Collaboration Defense Advancement works with major OEMs to foster collaboration and increase engagement with SMEs, to accelerate innovation and drive defense capabilities forward.