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
Altran Praxis
Altran Praxis is a specialist systems and software house, focused on the engineering of systems with demanding safety, security or innovation requirements. Altran Praxis leads the world in specific areas of advanced systems engineering and innovation such as: ultra low defect software engineering, Human Machine Interface (HMI), safety engineering for complex or novel systems and tools (such as SPARK) /methods for systems engineering. Altran Praxis, in partnership with AdaCore, provides SPARK Pro – the foremost language, toolset and design discipline for the engineering of high-assurance software.
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.
SofCheck
Founded by a team of internationally recognized leaders in the development of programming languages and compiler technology, SofCheck, Inc. is a premier automated software quality (ASQ) solutions company. SofCheck enables software development organizations to build the highest quality software systems in the shortest time possible. SofCheck provides solutions based on automated, advanced static error detection, which find many of the problems typically dependent on exhaustive unit testing, without the need for stubs or harnesses. SofCheck, in partnership with AdaCore, has developed the CodePeer automated code review and validation tool.
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.
IBM Rational
Developing high quality embedded systems and software to meet tight deliver schedules demands a robust design environment. IBM Rational 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:
Altran Praxis
SPARK, designed by Altran Praxis, is a high level Ada-based programming language and toolset for developing high-integrity applications. Altran Praxis, in partnership with AdaCore, provides SPARK Pro – the foremost language, toolset and design discipline for the engineering of high-assurance software.
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.
SYSGO
SYSGO provides innovative operating system technology, middleware, and software services for the real-time and embedded market. A differentiating capability of SYSGO is the Safe and Secure Virtualization platform PikeOS, a new generation of RTOS which is built upon a small, fast, and safe microkernel. It supports the co-existence of independent Guest OS or APIs “personalities” on a single platform, including ELinOS, SYSGO’s industrial grade embedded Linux distribution. PikeOS is DO-178B, IEC 61508, and EN50128 certifiable, and is MILS compliant. It includes CODEO, an Eclipse-based integrated development environment, and has the widest range of operational “personalities” (i.e. Linux but also ARINC-653, POSIX, Ada, Java, iTRON, etc.) on the market. PikeOS, like ELinOS, is hardware independent and is the first implementation of multi-core SMP support already integrated within a certified code basis. GNAT Pro supports both PikeOS and ELinOS.
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.
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.
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.
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.