GNAT Pro Safety-Critical for ARM Processors by AdaCore
IDE and/or Compiler (C/C++/EC++/Ada)
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.
ARM processors are becoming more and more prevalent in the aerospace, defense, and transportation industries. This is due in large part to the vibrant support ecosystem that ARM enjoys, and to the growing popularity of these low-cost, low-power microprocessors.
The ARM platform adds to the GNAT Pro Safety-Critical product offering, allowing easy portability from existing platforms. The technology does not require any underlying operating system, so it can be deployed on very small memory boards. The tool suite includes the following:
• Support for Ada 2012 (including the important “contract-based programming” features that make it easier to reflect the program’s intent) and all earlier versions of the Ada language
• 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
• 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 / customizable 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.
About GNAT Pro Safety-Critical
GNAT Pro Safety-Critical is a complete development environment for applications that need to meet the highest levels of safety-related standards found in industries such as aeronautics, space, railway, defense and medical systems. The product consists of the full GNAT Pro environment enhanced with a suite of tools — specifically GNATcheck, GNATmetric, and GNATstack — and specialized run-time libraries designed for usage in a safety certification context.
Owing to both the product’s technical features and the Ada language’s software engineering foundations, GNAT Pro Safety-Critical facilitates formal compliance with domain-specific safety standards. In addition to supporting RTCA DO-178B / DO-178C (also known as EUROCAE ED-12B / ED-12C), GNAT Pro Safety-Critical can help reduce the effort in certifying systems against standards such as DEF STAN 00-55 / 00-56 (defense), DO-278 / DO-278A (ground-based systems), CENELEC EN 50128 (rail) and ECSS-E-ST-40C / ECSS-Q-ST-80C (space). GNAT Pro Safety-Critical has been used to develop systems that have been certified to DO-178B Level A.
GNAT Pro Safety-Critical for ARM Processors