AdaCore has developed several strategic alliances and partnerships that allow our customers to benefit from an increasing number of powerful tools and services as part of the GNAT Pro package:
Strategic Alliances
CodeSourcery
For development in C++ as well as Ada, CodeSourcery G++ (a validated, supported, C++ toolchain based on the GNU C++ compiler) is the perfect complement to GNAT Pro. Contact AdaCore to arrange an evaluation of a combined GNAT Pro/CodeSourcery G++ solution.”
HP
GNAT Pro is currently available and supported on the following HP platforms - OpenVMS and Tru64 on AlphaServer systems; and HP-UX, HP Linux, and OpenVMS for HP Integrity servers.
Praxis High Integrity Systems
SPARK, designed by Praxis, is a high level Ada-based programming language and toolset for developing high-integrity applications. SPARK is compatible with the GNAT Pro High Integrity Edition’s run-time options, and the SPARK tools are invokable through GPS.
Verocel
Verocel has developed the certification package for run-time library components accompanying the GNAT Pro High Integrity Edition. This package contains all of the artifacts required to satisfy the objectives of DO-178B for a Level A system.
Wind River
Wind River is a worldwide leader in embedded software providing development tools, real-time operating systems, and advanced connectivity for use in products in a variety of markets including aerospace and defense. GNAT Pro is a well-established and widely-used product on Wind River platforms.
Development Tools
Distributed Middleware - CORBA and DDS:
Objective Interface
Objective Interface provides real time connectivity software development tools to meet the high-performance needs for worldwide telecommunications, data communications, industrial automation, consumer electronic, military and aerospace markets. OrbExpress is fully compatible with GNAT Pro on numerous native and cross target platforms.
Prismtech
GNAT Pro is fully integrated with OpenFusion RTOrb Ada Edition (OrbRiver) - The leading CORBA implementation for use in Safety-Critical Systems.
Real-Time Innovations (RTI)
RTI Data Distribution Service is a high-performance messaging and data-caching solution for the development and integration of applications that require low latency, high throughput, high scalability, deterministic responses and minimal consumption of network, processor and memory resources. RTI Data Distribution Service with GNAT Pro combines the unsurpassed messaging performance of RTI middleware, the portability and interoperability provided by the DDS standard, and the powerful development environment of GNAT Pro to build high-performance, fully standards-compliant distributed applications.
UML Tools:
Artisan SW
Real-time Studio is a multi-user suite of development tools that provides systems and software modeling and component-based development specifically for technical systems. Real-time Studio and GNAT Pro offer a full UML solution for Ada programmers.
Telelogic
Developing high quality embedded systems and software to meet tight deliver schedules demands a robust design environment. Telelogic achieves this with Rhapsody®, an integrated visual modeling environment for embedded and real-time system engineering projects. The solution uses SysML 1.0 and UML® 2.1 with graphical C programming, allowing engineers to quickly and non-ambiguously specify requirements, design structure and the behavioral aspects of the system. For the embedded device developer, Rhapsody offers a Model Driven Development (MDD) environment for embedded systems, enabling you to create graphical models of the system that can be simulated and tested while automatically generating C/C++/ Ada or Java code that is directly deployable on the end product.
Multi-language Development:
CodeSourcery
For development in C++ as well as Ada, CodeSourcery G++ (a validated, supported, C++ toolchain based on the GNU C++ compiler) is the perfect complement to GNAT Pro. Contact AdaCore to arrange an evaluation of a combined GNAT Pro/CodeSourcery G++ solution.”
Praxis High Integrity Systems
SPARK, designed by Praxis, is a high level Ada-based programming language and toolset for developing high-integrity applications. SPARK is compatible with the GNAT Pro High Integrity Edition’s run-time options, and the SPARK tools are invokable through GPS.
OS/RTOS:
HP
GNAT Pro is currently available and supported on the following HP platforms - OpenVMS and Tru64 on AlphaServer systems; and HP-UX, HP Linux, and OpenVMS for HP Integrity servers.
SGI
GNAT Pro product line is supported on the SGI Altix family of superclusters and servers, which feature the 64-bit Intel Itanium 2 processor and the Linux operating system.
Wind River
Wind River is a worldwide leader in embedded software providing development tools, real-time operating systems, and advanced connectivity for use in products in a variety of markets including aerospace and defense. GNAT Pro is a well-established and widely-used product on Wind River platforms.
Analysis and Testing
Axivion
Axivion develops static code analyses tools. With their help, even complex systems can quickly be examined, comprehended, and assessed. The benefits are, amongst others, a reduction of development and maintenance costs, a shortening of time to market and an improvement of code quality. Our analyses for Ada are based on and are compatible with the Asis interface of GNAT Pro.
IPL
AdaTEST is a tool which allows users to test Ada software thoroughly and efficiently. In addition to the facility to generate test drivers and programmable stubs, AdaTEST users can also measure test coverage and check static analysis metrics. The integration of AdaTEST into GNAT Pro means that users can invoke a range of AdaTEST facilities from within the GPS IDE.
Vector Software
VectorCAST/Ada for GNAT Pro is a test system that enables users to automate unit and integration testing, and code coverage for software applications developed with the GNAT Pro development tools. VectorCAST/Ada has been used on projects for over 10 years with all variants of GNAT Pro including Wind River’s Platforms for Safety Critical and the GNAT Pro High Integrity Edition up to Level A for DO-178B.
LDRA
The LDRA tool suite is deployed throughout the software development lifecycle for Code Review, Quality Review, Design Review, Unit Test and Test Verification. The integration of the LDRA tool suite with GNAT Pro helps embedded developers overcome the challenges of testing real-time Ada95/83 software in circumstances where applications are required to be reliable, rugged and as error free as possible. The LDRA tool suite also provides facilities to assist users to meet recognised Ada standards and subsets such as the Ravenscar Profile and the SPARK safe-subset for Safety-Critical and High-Integrity systems.
Services
Verocel
Verocel has developed the certification package for run-time library components accompanying the GNAT Pro High Integrity Edition. This package contains all of the artifacts required to satisfy the objectives of DO-178B for a Level A system.
Hardware
Probes:
Abatron
Abatron develops and produces high-quality, high-speed BDM and JTAG Debug Tools (BDI Family) for software development environments from leading vendors including GNAT Pro.