AdaCore announced that GNAT Pro now supports all active versions of Wind River’s VxWorks real-time operating system (RTOS). The supported RTOS includes VxWorks 5, VxWorks 6, supporting both asymmetric multiprocessing (AMP) and symmetric multiprocessing (SMP) configurations, VxWorks 653, VxWorks DO-178B, and VxWorks MILS. GNAT Pro for VxWorks 5 and 6 are 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 to 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 effort.
- The zero-foot-print (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 like inter-process or inter-partition communication and synchronisation
These certification libraries are used as a part of multiple DO-178B Level A certified systems.
GNAT Pro is also available for VxWorks 6, supporting both symmetric multiprocessing (SMP) and asymmetric multiprocessing (AMP) multicore implementation models. This capability allows customers to deploy Ada on advanced multicore processors, and enables high levels of optimisation for a variety of challenging multiprocessor designs and configurations.
AdaCore’s GNAT Pro product for VxWorks MILS brings a powerful application development environment to the aerospace and defence industry for developing Ada applications within a MILS (multiple independent levels of security) architecture.
More info: AdaCore