Partners

AdaCore has developed several strategic alliances and partnerships that allow our customers to benefit from an increasing number of powerful tools and services.

Strategic Alliances

Altran

Altran is a specialist systems and software house, focused on the engineering of systems with demanding safety, security or innovation requirements. Altran 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, in partnership with AdaCore, provides SPARK Pro – the foremost language, toolset and design discipline for the engineering of high-assurance software.

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 Systems

Objective Interface Systems, Inc. (OIS) is the leading global provider of middleware solutions for inter-process communication for disparate systems. OIS offers ultra-low latency, real-time connectivity software development tools for use in complex and demanding environments, such as aerospace, defense, automotive, telecommunications, financial, medical, robotics, industrial automation, and consumer electronics. The ORB/express/ product family is the most widely deployed communications framework for distributed and heterogeneous systems where failure is not an option.

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:

Atego

Atego is the world’s largest independent supplier of industrial-grade, collaborative modeling tools for complex, mission-critical systems and software. Atego’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.

OS/RTOS

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.

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.

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.

iSYSTEM

iSYSTEM's Blue Box Technology stands for fast and easy microcontroller access via any kind of microcontroller debug interface. While supporting all the common run control facilities of the various On Chip Debug interfaces that are used for development and testing on target hardware, access to higher level OCD facilities, such as Class 2, 3 and 4 Nexus as well as ETM messages, is also available. iSYSTEM has worked with AdaCore to facilitate the integration of Nexus Program Trace message data into AdaCore's GNATcoverage product, providing a coverage analysis tool which works with uninstrumented code running on the actual target hardware.

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.