AdaCore has developed a cross-development environment for the latest 2012 version of the Ada language for ARM processors running Linux.
GNAT Pro 7.2 provides a complete Ada development environment oriented towards embedded systems that require the flexibility and services provided by Linux. Developers of such systems can now exploit the software engineering benefits of the Ada language, including reliability, maintainability, and portability.
”Ada and ARM share at least one major characteristic: they provide a combination of strong industrial maturity and innovative adaptability to their ecosystem,” said Cyrille Comar, AdaCore EU Managing Director based in Paris. “While ARM was systematically addressing the whole spectrum of embedded, low-consumption processors, from the smallest microcontroller to the most powerful multicore, Ada was addressing the rising needs of safer programming techniques through its enhanced support of contract programming. With GNAT Pro’s recent and extensive ARM support, it is now possible to benefit from these combined elements simultaneously.”
Incorporating more than 120 new features, this latest GNAT Pro toolsuite implements the Ada 2012 language standard by default, and extends its coverage of ARM configurations to complement GNAT Pro products for VxWorks 6 ARM and bare-board ARM.
Some of the new Ada 2012 language features include contract-based programming with preconditions, postconditions, and type invariants, in-out parameters for functions and enhanced multiprocessor support with multiprocessor affinity and barriers. It also includes enhanced integration of concurrency and OOP to re-queue on synchronised interfaces and additional language-defined libraries for vectors and matrices.
GNAT Pro 7.2 comes with the GPS (GNAT Programming Studio) 6.0 Integrated Development Environment, providing developers with more space for editing and a number of design changes that bring program-related information within easy reach. The revised look and feel is supported by a new relational database at the heart of the GPS engine, making code navigation much more efficient. GNAT Pro 7.2 also includes a new version of GNATbench, the Eclipse plug-in. GNATbench 2.8 provides a new source