Adacore offers Gnat Pro for VXworks

This includes VXworks 5 and VXworks 6, supporting both asymmetric multi-processing (AMP) and symmetric multi-processing (SMP) configurations, VXworks 653, VXworks DO-178B and VXworks MILS.

Gnat Pro gives Ada users a selection of VXworks platforms to choose from, whether for new programs or for the migration of existing codebases to newer operating systems.

In addition, all Wind River platforms supporting the deployment in DO-178B-certified environments are also supported.

The Gnat Pro product offering for VXworks satisfies a variety of customer application requirements and deployment environments.

Gnat Pro for VXworks 5 and VXworks 6 is suitable for general-purpose software development.

The specialised Gnat Pro high-integrity edition for DO-178B, available for the VXworks 653 and VXworks DO-178B platforms, is targeted at RTCA DO-178B and IEC 61508 safety-critical systems.

For safety-certified environments, Adacore's Gnat Pro high-integrity edition supports three specific runtime environments that optimise size, performance and certification efforts.

The zero-footprint (ZFP) library simplifies safety certification for sequential applications.

The Ravenscar library adds support for tasking or multi-processing.

The Cert library adds ARINC653 awareness and supports advanced integrated modular avionics (IMA) features such as inter-process or inter-partition communication and synchronisation.

These three certification libraries are used as part of multiple DO-178B Level A-certified systems.

Gnat Pro is also available for VXworks 6, supporting SMP and AMP multi-core implementation models.

This capability allows customers to deploy Ada on advanced multi-core processors and enables high levels of optimisation for a variety of multi-processor designs and configurations.