Advancing UK Aerospace, Defence, Security & Space Solutions Worldwide
  • Home
  • /
  • Defence
  • /
  • AdaCore's GNAT Pro selected for Airbus Helicopters' tactical UAS

Defence

AdaCore's GNAT Pro selected for Airbus Helicopters' tactical UAS

Software development and verification tools provider, AdaCore, announced today that Airbus Helicopters (France) has selected the GNAT Pro tool suite and the Ada programming language to develop new software components for the VSR700 prototype project, which is Airbus Helicopters’ tactical unmanned aerial system (UAS), designed to meet army and navy requirements worldwide.

Image courtesy AdaCore

Airbus Helicopters selected AdaCore’s GNAT Pro Ada for PowerPC VxWorks 6.x/Cert based on several criteria, including ease of integration into the existing development infrastructure, the ability to develop monitoring algorithms, and the capacity to help certify the software up to DO-178C Design Assurance Level B.

Advertisement
ODU RT

“We selected AdaCore and the Ada language because we believe that this technology and related tools will increase the maintainability and quality of our software and make it easier to provide some evidence for certain software certification objectives,” said Matthieu Vatinet, Head of Embedded Software Products, Airbus Helicopters. “The quality of AdaCore’s support was an important advantage and another anticipated benefit was the ease of developing mature code.”

“Knowing that the Airbus Helicopters team needed to develop highly reliable and safe code for their VSR700 prototype project, we were extremely pleased that they selected Ada and AdaCore,” said Jamie Ayre, Commercial Director at AdaCore. “The GNAT Pro Ada tool suite offers exceptional verification abilities that will help Airbus to detect problems early in their development process when they are easiest and least costly to correct. And our support services will address any questions or issues that may arise.”

Advertisement
ODU RT


 

Advertisement
General Atomics LB
RIAT 2026 cancelled

Aerospace Defence Security Events

RIAT 2026 cancelled

22 May 2026

This year’s Royal International Air Tattoo (RIAT) will now not be taking place, cancelled due to issues regarding access to the event - at RAF Fairford in Gloucestershire - amid concerns over conflict in the Middle East.

ADS appoints Andy Williams Director of ADS Scotland

Aerospace Defence Security Space

ADS appoints Andy Williams Director of ADS Scotland

22 May 2026

ADS, the trade association for the aerospace, defence, security and space industries, has announced the appointment of Andy Williams as Scotland Director.

King’s College London and Cranfield University propose merger

Aerospace Defence Security Space

King’s College London and Cranfield University propose merger

22 May 2026

King’s College London and Cranfield University have announced that the two universities have signed an agreement as the first step towards a merger, with the aim of bringing the two institutions together from August 2027, which will support UK national capability and resilience.

QinetiQ expands testing capacity at MoD Portland Bill

Defence

QinetiQ expands testing capacity at MoD Portland Bill

22 May 2026

QinetiQ has increased the capacity of its vessel testing facility with the addition of a new water tank that will enable larger uncrewed mine hunting vessels’ magnetic fields to be measured and lowered to counter underwater threats.

Advertisement
ODU RT
Hexagon boosts large-volume inspection productivity

Defence

Hexagon boosts large-volume inspection productivity

22 May 2026

Hexagon’s Portable Metrology Division has introduced a new wireless probe that adds contact measurement to its high-speed HYPERSCAN large-volume laser scanning system, improving productivity during alignment, inspection and reporting.

BAE Systems Bofors completes Aston Harald acquisition

Defence

BAE Systems Bofors completes Aston Harald acquisition

21 May 2026

BAE Systems Bofors, which signed a purchase agreement to acquire Swedish supplier of precision mechanics and advanced component machining for aerospace and defence products, Aston Harald Mekaniska Verkstad AB in February 2026, has now completed the acquisition.

Advertisement
ODU RT
Advertisement
FIA2026 animated banner