AdaCore Introduces Support for C++ Embedded Environments

GNAT Pro cross-environment handles standalone C++ and mixed-language embedded software development

NEW YORK & PARIS & BRISTOL, England,  November 5, 2019 – High Integrity Software Conference - AdaCore today announced that its GNAT Pro product line now supports the development of embedded software written in C++. Projects using C++, either mixed with Ada or standalone, can now benefit from the same high level of quality and support that GNAT Pro Ada customers receive. GNAT Pro C++ handles versions of the language standard up to and including C++17. It is targeted to  VxWorks® 7 (ARM, PowerPC, and x86), Embedded Linux (ARM, PowerPC and x86), as well as VxWorks 6.9.x (PowerPC 32 bits), and is hosted on x86 GNU Linux. It is available on both the GNAT Pro Enterprise and GNAT Pro Assurance product lines.

GNAT Pro’s build environment is based on the multilingual GCC code generation technology, to which AdaCore has contributed and among whose official maintainers are AdaCore personnel. GNAT Pro provides advanced interfacing capabilities with Ada and C++, such as binding generation to and from both languages, mixed-language exception propagation and catching, and cross-language inheritance and dispatching. The GNAT Pro Assurance edition provides unique benefits for pure-C++ developers, including long-term support, known problem analysis, and safety-critical fixes provided by the same experts who developed the product. It also improves multiple platform portability, providing consistent technology across native and embedded environments.

“Embedded software teams have long been moving to multi-language development environments,” said Quentin Ochem, lead of Business Development at AdaCore. “Regardless of whether languages are intertwined in a single application, or used for separate projects, they still require the same high level of support. Our toolchains already support Ada and C for cross-development, as well as Ada, C, and C++ for native development. By adding an embedded component for C++, we can now offer our customers a truly comprehensive solution for a wide array of high integrity requirements.”

“Support for C++ is critical for modern development practices and next generation system development,” said Michel Chabroux, Senior Director of Product Management at Wind River. “Wind River is pleased to be collaborating with AdaCore to ensure the industry has access to best-in-class solutions for high integrity requirements, as well as provide our joint customers with a competitive advantage.”

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 and/or safety 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/.



Contacts:  

AdaCore US                                                                  
Jessie Glockner                                                         
E:  Email Contact                     
T: +1-646-532-2723                                     

AdaCore UK 
Singleton PR  
E: Email Contact 
T: +44 (0)1252 448 169

AdaCore EU 
Pamela Trevino 
E: Email Contact  
T: +33 1 49 70 87 82 




Review Article Be the first to review this article
Downstream : Solutuions for Post processing PCB Designs

Featured Video
Jobs
Sr. R&D SW Developer  for EDA Careers at Bay Area, California
Senior Account Manager… FORMAL VERIFICATION...VALLEY for EDA Careers at San Jose, California
Senior Software 11 Engineer – MCAD…Valley for EDA Careers at San Jose, California
Ecommerce Account Manager for Bright Atlas LLC at Miami Gardens, Florida
Upcoming Events
SEMICON Japan 2019 at Tokyo Big Sight Tokyo Japan - Dec 11 - 13, 2019
VLSID 2020 at The Leela Palace 23, HAL Old Airport Rd, HAL 2nd Stage, Kodihalli, Bengaluru India - Jan 4 - 8, 2020
CES 2020 at LAS VEGAS NV - Jan 7 - 10, 2020
INDUSTRY STRATEGY SYMPOSIUM—ISS 2020 at The Ritz Carlton Half Moon Bay CA - Jan 15 - 20, 2020
DownStream: Solutions for Post Processing PCB Designs
Verific: SystemVerilog & VHDL Parsers
TrueCircuits: DDR 4/3
call for Contribution



Internet Business Systems © 2019 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+1 (408) 882-6554 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise