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) - A 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 Software Tools
Artisan Software Tools is the world’s largest independent supplier of industrial-grade, collaborative modeling tools for complex, mission-critical systems and software. Artisan’s standards-based tool suite, Artisan Studio(r), enables you to automatically generate and synchronize your Ada source code and model with the Ada ‘Automatic Code Synchronization’ (ACS) technology. Artisan Ada Synchronizer supports code synchronization and structural comparison between UML class models developed with Artisan’s Studio and Ada source code.
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.
Mentor Graphics Corporation
The Mentor Graphics Embedded Systems Division is located in Mobile, Alabama with sales offices and distributors worldwide. As a leading provider of solutions that accelerate product time-to-market in a wide range of embedded device applications, the company is best known for the Nucleus OS, a full featured operating system combining an extremely efficient kernel with essential core services such as networking, USB, graphics, file system, Security and Bus support.
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.
Rapita Systems
Rapita Systems Ltd is a specialist in the timing analysis of real-time systems. Rapita’s innovative RapiTime product is a comprehensive toolset for on-target performance profiling, and worst-case execution time (WCET) analysis of embedded real-time software in the avionics, telecommunications, space and automotive electronics markets. RapiTime is compatible with industrial scale programs from a few KBytes to millions of lines of code, and works with virtually every 8, 16, and 32-bit embedded microprocessor on the market. RapiTime integrates with Adacore’s GNAT Pro technology and can be used to analyse real-time software written in Ada or C.
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.