Log in
E-mail
Password
Remember
Forgot password ?
Become a member for free
Sign up
Sign up
New member
Sign up for FREE
New customer
Discover our services
Settings
Settings
Dynamic quotes 
OFFON
News: Latest News
Latest NewsCompaniesMarketsEconomy & ForexCommoditiesInterest RatesBusiness LeadersFinance Pro.CalendarSectors

Major European Aerospace Company Chooses GNAT Pro Ada Targeted to Wind River's VxWorks 6.x Cert RTOS on PowerPC

09/08/2020 | 08:11am EDT

AdaCore’s GNAT Pro Ada Toolsuite Selected for Development of Unmanned Aerial System

AdaCore, a trusted provider of software development and verification tools, today 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.”

About AdaCore

Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical and security-critical systems. Four flagship products highlight the company’s offerings:

  • The GNAT Pro development environment, a complete toolset for designing, implementing, and managing applications that demand high reliability and maintainability. GNAT Pro is available for Ada and also for C and C++.
  • The CWE-Compatible CodePeer advanced static analysis tool, an automatic Ada code reviewer and validator that can detect and eliminate errors both during development and retrospectively on existing software. CodePeer can detect a number of the “Top 25 Most Dangerous Software Errors” in the MITRE Corporation’s Common Weakness Enumeration (CWE).
  • The SPARK Pro verification environment, a toolset providing full formal verification oriented toward high-assurance systems with stringent security requirements.
  • The QGen model-based development tool suite for safety-critical control systems, providing a qualifiable and customizable code generator and static verifier for a safe subset of Simulink® and Stateflow® models, and a model-level debugger.

Over the years customers have used AdaCore products to field and maintain a wide range of critical applications in domains such as commercial and military avionics, automotive, railway, space, defense systems, air traffic management/control, medical devices, and financial services. AdaCore has an extensive and growing worldwide customer base; see www.adacore.com/industries for further information.

AdaCore products are open source and come with expert online support provided by the developers themselves. The company has North American headquarters in New York and European headquarters in Paris. www.adacore.com.

http://www.adacore.com
http://twitter.com/AdaCoreCompany


© Business Wire 2020
Latest news "Companies"
04:40pGOLDEN NUGGET ONLINE GAMING, INC.  : Non-Reliance on Previous Financials, Audits or Interim Review (form 8-K)
AQ
04:40pFALCON CAPITAL ACQUISITION  : 10-k/a - management's discussion and analysis of financial condition and results of operations.
AQ
04:40pDUKE ENERGY CORP  : Change in Directors or Principal Officers, Submission of Matters to a Vote of Security Holders (form 8-K)
AQ
04:40pINFLARX N  : 05-2021-InflaRx Announces Positive Topline Results for Vilobelimab from the U.S. Phase II ANCA-Associated Vasculitis IXPLORE Study
PU
04:40pTimber Pharmaceuticals Provides Business Update and Announces First Quarter 2021 Financial Results
GL
04:39pHEXCEL CORP /DE/  : Submission of Matters to a Vote of Security Holders (form 8-K)
AQ
04:39pNEWTEK BUSINESS SERVICES CORP.  : Results of Operations and Financial Condition, Financial Statements and Exhibits (form 8-K)
AQ
04:39pESHIPPERS MANAGEMENT  : IIROC Trading Halt - EPX.H
AQ
04:39pQUANTUMSCAPE CORP  : Results of Operations and Financial Condition, Financial Statements and Exhibits (form 8-K)
AQ
04:39pHANOVER INSURANCE GROUP, INC.  : Submission of Matters to a Vote of Security Holders, Other Events, Financial Statements and Exhibits (form 8-K)
AQ
Latest news "Companies"