GNAT Pro: High-Integrity Edition for DO-178B > VxWorks 653

Ada Development Environment for Wind River PSC ARINC 653

The GNAT Pro High-Integrity Edition for DO-178B is the natural Ada solution for VxWorks 653. It provides a complete Ada development environment, fully integrated into Wind River’s tool suite and execution platform and oriented towards the needs of safety-critical systems.

GNAT Pro High-Integrity Edition for DO-178B supplies a fully configurable/customizable run-time library and implements two pre-defined profiles that are particularly relevant to safety-critical systems. The ”Zero Footprint“ (ZFP) profile corresponds to a language subset that does not require any GNAT Pro run-time routines. The more extensive Cert profile, based on input and requirements of companies in the Mil/Aero market, includes a number of useful dynamic features such as exception handling. The full Ada run-time is also available

GNAT Pro High-Integrity Edition for DO-178B supports the various AE653 operating environments and certification levels. These include application generation modes for the VxWorks 653 core OS, and for application partitions running the vThreads partition operating system.

Benefits

Full integration into Platform for Safety Critical

The GNAT Pro High-Integrity Edition for DO-178B is the natural Ada solution for VxWorks 653. It provides a complete Ada development environment, fully integrated into Wind River’s tool suite (Workbench) and execution platform and oriented towards the needs of safety-critical systems.

Lower certification costs

Certification materials are available for the restricted run-time libraries, and various compiler options (e.g. the ability to detect/ prohibit features that could implicitly cause loops or conditionals in the generated code) simplify the coverage analysis required for certification.

Support for high levels of safety certification

The Cert profile is intended for high-criticality applications (for example those that need to be certified to DO-178B Level A or B). The subset defined for this restricted profile includes support for unconstrained function results, simple text I/O, full arithmetic capabilities, bit array operations, and almost all Ada 95 exception handling features. The corresponding run- time library is intended to execute over the VxWorks 653 certified partition operating system with APEX facilities.

GNATbench - full integration with Wind River Workbench

GNATbench brings the advantages of AdaCore’s GNAT Pro toolset to Wind River’s Workbench integrated development environment for embedded systems running VxWorks. GNATbench is fully integrated with the existing Workbench tools, combining the power of AdaCore’s development and compilation technology with the extensive Workbench tools for VxWorks systems creation.

Key Features

Implementation of all versions of Ada: Ada 2005, Ada 95, Ada 83
Complete GNAT Pro toolset adapted to VxWorks 653
Full integration with Workbench via the GNATbench plugin
GPS (GNAT Programming System) Integrated Development Environment
Support for multiple safety certification levels through various run-time profiles
Full Ada binding to ARINC-653 APEX , available for all Ada run-time profiles
Support for various kinds of AE653 partitions
Full Ada run-time library, for lower levels of criticality in application partitions

Platforms

For the most up-to-date information on available platforms please contact us at: sales@adacore.com