The AdaCore Edge
Development and Verification Technologies for Software that Matters
Producing software for a modern cybersystem is hard. The system must not only be reliable and efficient, it has to be secure from threats both known and unknown, and also adaptable in the face of changing requirements and an evolving technological landscape. It may also need to comply with an industry-specific safety standard such as DO-178B or DO-178C for airborne systems. These challenges require programming languages, tools and support that developers can trust and exploit throughout the software life cycle. It’s especially important to catch bugs early, when they are least expensive to correct. AdaCore has been providing solutions in these areas for nearly 25 years, for customers across a range of critical domains including aerospace, rail, defense systems, automotive, medical devices and finance.
Multi-Language Software Development EnvironmentsAt the hub of AdaCore’s offerings are the GNAT Pro integrated software development environments, available for Ada and also C and C++.
GNAT Pro Ada handles all versions of the language standard, from Ada 83 through Ada 2012, and includes a comprehensive toolsuite, graphical IDEs, and extensive companion libraries. The product is available in several editions:GNAT Pro is also available for C and C++, with full support for these languages.
- Assurance, which is especially applicable for Ada projects requiring certification or which need to remain on a specific version of the technology;
- Enterprise, which is appropriate for any Ada project; and
- Developer, which is geared towards projects migrating to Ada 2012 from C or C++.