Platforms

Wind River Platforms

LynuxWorks Platforms

Bare board Platforms

Ada Development Environment for Wind River VxWorks 653

GNAT Pro Safety-Critical 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 Safety-Critical supplies a fully configurable/customizable run-time library and implements three 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 Ravenscar profile implements the safe and deterministic Ada tasking subset defined in the Ada 2012 standard. The full Ada run-time is also available

GNAT Pro Safety-Critical 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

GNAT Pro Safety-Critical 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 2012 / 2005 / 95 / 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

Wind River Partner Program — Gold

To visit the Wind Market Place, please click here