Estimated reading time 1 minute, 42 seconds.
AdaCore, a trusted provider of software development and verification tools, recently 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.
“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.”
Airbus EC155B1 Make an offer
Airbus AS350BA Contact seller for price
Airbus AS350B2 Contact seller for price
Leonardo AW169 Contact seller for price
Airbus ACH130 Contact seller for price
MD Helicopters MD500E USD $ 775,000
Bell 429 Contact seller for price
Leonardo AW139 Contact seller for price
Airbus H130 Contact seller for price
Enstrom Helicopter Corporation is now hiring
Army helicopter catches fire at North Island, no injuries
Software fix following naval helicopter crash not complete one year after report
Day in the life: medical helicopter pilot Trey Williamson
Big Island tour helicopter experienced ‘violent upset’ prior to crash
Authorities arrest man trying to steal helicopter
Helicopter arrives in Big Lake for wildfire season
6 aboard helicopter that crashed in southern W.Va.
Notice a spelling mistake or typo?
Click on the button below to send an email to our team and we will get to it as soon as possible.
Have a story idea you would like to suggest?
Click on the button below to send an email to our team and we will get to it as soon as possible.
Your email address will not be published. Required fields are marked *
Save my name, email, and website in this browser for the next time I comment.
500 Trillium Dr., Unit 23, Kitchener, ON N2R 1E5 | Phone: 519-748-1591 | Toll-Free: 1-866-834-1114 | Fax: 519-748-2537 Vertical and Vertical Valor are part of MHM Publishing Inc. © All Rights Reserved 2022 | Terms of Use | Privacy Policy