GNAT Pro goes Safety-Critical for ARM
At Embedded World, AdaCore told attending developers that its GNAT Pro Safety-Critical development tool kit Ada is now available for use on ARM Cortex micro-controllers.
According to Cyrille Comar, Managing Director of AdaCore, this bareboard GNAT Pro Safety-Critical product provides a complete Ada development environment, oriented towards systems that are safety-critical or have stringent memory constraints.
Developers of such systems can now exploit the software engineering benefits of the Ada language, including reliability, maintainability, and portability.
The move was made, he said, because ARM processors are becoming more and more prevalent in the aerospace, defense, and transportation industries.
The ARM platform adds to the GNAT Pro Safety-Critical product offering, which is already available for PowerPC and LEON boards, allowing easy portability among all three platforms. The technology does not require any underlying operating system, so it can be deployed on very small memory boards.
In addition to support for the recently released Ada 2012, the tool suite includes Support for the Ravenscar tasking profile; a set of static analysis tools; GNATstack stack analysis tool; GNATmetrics complexity metrics tool; GNATcheck coding standard verification tool; the GNATtest unit test harness generator; and the GDB visual debugger
A native Integrated Development Environment (IDE) as well as an Eclipse plug-in GNAT Pro Safety-Critical for bareboard ARM supplies a fully configurable run-time library and implements High-Integrity profiles that are especially relevant to safety-critical systems.
The Zero Footprint Profile (ZFP) in particular defines an Ada subset that does not require any run-time routines, thus reducing the memory footprint to user code only.