New major release of Ada software development environment includes
120+ new features and extends support across ARM platforms
GNAT Pro is available on more native and cross platforms than any other Ada development environment, and the 7.2 release adds support for Wind River’s VxWorks Cert and LynuxWorks’ LynxOS-178 Real-Time Operating Systems (RTOS). It also extends GNAT Pro’s ARM support to now include Android, generic Linux on ARM, Bareboard ARM, and Wind River’s VxWorks 6 on ARM.
GNAT Pro 7.2 comes with the GPS (
GNAT Pro 7.2 includes several new tools, including GNAT2XML, which generates XML files from Ada sources and helps developers write Ada analysis tools in any language. Enhancements to existing tools include a new version of GNATpp (pretty printer) with improved Ada layout, and an enhanced GPRbuild multi-purpose builder that offers greater flexibility and support of both distributed and parallel builds.
Other new features of GNAT Pro 7.2 include new warnings and improved diagnostics, code generation optimizations, support for symbolic traceback in shared libraries, and improved cross Ada/C++ exception handling.
“With so many new features and tools in GNAT Pro 7.2, it’s difficult to choose which to highlight,” said
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore's flagship product is the open source GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive world-wide customer base; see www.adacore.com/home/company/customers/ for further information.
Ada and GNAT Pro see a growing usage in high-integrity and safety-certified applications, including space-based systems, commercial aircraft avionics, military systems, air traffic management/control, railroad systems, and medical devices, and in security-sensitive domains, such as financial services. The SPARK Pro toolset, available from AdaCore, is especially useful in such contexts.
AdaCore has North American headquarters in