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
Tritax 300x250

“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
Cranfield University
BIAS 2026 to focus on AAM, sustainability and innovation

Aerospace Defence Space Events

BIAS 2026 to focus on AAM, sustainability and innovation

11 November 2025

The biennial Bahrain International Airshow (BIAS) - taking place next year, 18th-20th November 2026 - is to feature a dedicated focus on Advanced Air Mobility (AAM), consider efforts to build a more sustainable aviation infrastructure and explore defence and space business innovation.

Minister shown transformative solutions for UK Armed Forces

Defence

Minister shown transformative solutions for UK Armed Forces

11 November 2025

During a visit to QinetiQ’s HQ in Farnborough, Minister for Defence Readiness and Industry, Luke Pollard, met with engineers and scientists to see how its investment in new digital and AI technologies, to augment high value engineering skills, is significantly increasing productivity and ramping up the involvement of UK SMEs to harness innovation.

Jacobs appointed as CCS management consultancy

Defence

Jacobs appointed as CCS management consultancy

11 November 2025

Jacobs has been named as a supplier on the Crown Commercial Service’s (CCS) Management Consultancy Framework Four (MCF4) on Lot 8 – Infrastructure, to deliver advisory services to UK public sector clients through 2027, including for transportation and defence.

Veteran support centres to open across the UK

Defence

Veteran support centres to open across the UK

11 November 2025

Over 1.8 million veterans across the UK will benefit from a new network of local support centres, as the Ministry of Defence (MoD) launches a transformational Veterans Strategy to renew the nation’s contract with those who serve and have served and recognise their invaluable contribution to the nation as a whole.

Advertisement
Security & Policing Rectangle
LEMO UK introduces REDEL SP Series plastic connectors

Aerospace Defence

LEMO UK introduces REDEL SP Series plastic connectors

10 November 2025

LEMO has introduced the new IP68-rated REDEL SP Series plastic connectors, the next generation of high-performance connectors designed for critical applications in test & measurement and UAV environments.

SSC and Greenroom Robotics team to advance AUKUS tech ecosystem

Defence

SSC and Greenroom Robotics team to advance AUKUS tech ecosystem

10 November 2025

Portsmouth based SubSea Craft (SSC) and Australian company Greenroom Robotics have signed a teaming agreement aimed at strengthening collaboration across the AUKUS technology ecosystem.

Advertisement
ODU RT