AdaCore provides open source tools and expertise for the development of mission-critical, safety-critical, and security-critical software.  AdaCore’s flagship products are the GNAT Pro and SPARK Pro development environments and the CodePeer automatic code reviewer and validator. Customers around the world, including major actors in the domains of commercial aircraft avionics, military systems, air traffic management/control, railroad systems, medical devices, and financial services, trust GNAT Pro and AdaCore.

At the heart of every AdaCore subscription is the Frontline Support services we provide to our customers. While every company says they offer excellent support, for us it's a critical part of our business model and something we take seriously. To meet the AdaCore experts and the people behind the technology, please visit:

http://www.adacore.com/home/products/gnatpro/frontline_support/expertise/

GNAT Pro is an all-in-one development environment that includes:

Advanced Integrated Programming Environments

- GPS, the GNAT Programming Studio, is a dynamic and simple-to-use IDE that streamlines your software development process from the initial coding stage through testing, debugging, system integration, and maintenance. GPS’s extensive navigation and analysis tools can generate a variety of useful information including call graphs, source dependencies, project organization, code coverage, documentation, and complexity metrics, giving you a thorough understanding of your program at multiple levels.

- GNATbench for Wind River Workbench and Eclipse brings the advantages of AdaCore’s GNAT Pro toolset to Wind River’s Workbench IDE for embedded systems running VxWorks as well as the Eclipse platform.

Much of the underlying technology is shared, so that both environments benefit when new capabilities are created.

The widest range of supported platforms

GNAT Pro has been ported to more platforms, both native and embedded, than any other Ada technology. Supported platforms include Linux, Mac OS, Solaris, various UNIX, and Windows as well as numerous embedded commercial RTOS and bareboard configurations.

Static analysis tools

GNATcheck is an integrated coding standard verification tool that allows developers to completely define a coding standard as a set of rules and then verify a program's conformance with these.

GNATstack is a software analysis tool that enables software development teams to accurately predict the maximum size of the memory stack required to host an embedded software application.

GNATmetric is a source code metric tool that produces a set of commonly used

industry metrics that allow developers to estimate the size and better

understand the subscription of the source code.

CodePeer is a source code analyzer that detects run-time and logic errors in Ada programs. Serving as an efficient and accurate code reviewer — in effect it’s like having an expert assistant by your side helping you find errors fast and early in the development life-cycle.

Testing & simulation tools

AUnit is a programmers’ unit test framework based on CppUnit for C++. Its intent is to facilitate test-driven development, for both native or embedded softwares. GPS can generate the boilerplate code for test harnesses, suites and cases needed to use the framework.

Technology to aid software certification

Time and again AdaCore has helped customers build software that has to reach the highest levels of safety standards (DO-178B, EN-50128, IEC 61508). AdaCore offers a range of tools and development solutions that ensure lower costs and support the highest levels of safety certification.

Qualified Code Standard Checker

Qualifiable Code Coverage Tool

Traceability Analysis Package

Static Analysis Tools

Code Coverage Tools

Configurable/customizable Run-Time Library