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
