NEW YORK, PARIS and NUREMBERG, Germany, February 25, 2014 – Embedded World Conference – AdaCore today announced the release of its latest Ada cross-development environment, GNAT Pro 7.2, for ARM processors running Linux. This GNAT Pro ARM product provides a complete Ada development environment oriented towards embedded systems that require the flexibility and extensive 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. “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. Thanks to 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 (preconditions, postconditions, and type invariants)
- In-out parameters for functions (a much-requested enhancement to the language)
- Enhanced multiprocessor support (multiprocessor affinity and barriers)
- Enhanced integration of concurrency and OOP (re-queue on synchronized interfaces)
- Additional language-defined libraries (vector/matrix libraries)
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 navigation engine and improved support for the CodePeer static analysis tool.
About AdaCore
?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/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 New York and European headquarters in Paris. www.adacore.com
– See more at: http://www.adacore.com/press/gnat-pro-7-2-arm-linux/#sthash.oV4NdqAX.dpuf
