AdaCore, a provider of software development and verification tools, has announced 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.
VSR700 is Airbus Helicopters’ tactical unmanned aerial system (UAS) designed to meet the demanding requirements of global navies and armies in the 21st century.
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.
Matthieu Vatinet, Head of Embedded Software Products, Airbus Helicopters, said: “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.
“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.
image courtesy of Airbus
If you would like to join our community and read more articles like this then please click here.
Post written by: Matt Brown
RELATED ARTICLES
August 7, 2026
Air - Thales Secures NSPA Contract for Deployable Air Navigation System in Demonstration of NATO Procurement Route
Thales has been selected by the NATO Support and Procurement Agency to supply a Deployable Tactical Air Navigation system to
August 7, 2026
Air - Royal Navy's Dragon Rider Trials Prove Drone Armada Concept Over 200 Miles of Southern England
A week-long exercise integrating multiple uncrewed systems with Wildcat helicopters, Royal Marines and ship commanders has demonstrated that long-range drone
