Mistral announces AdaCore's enhanced GNAT Pro offerings

BANGALORE, INDIA: Mistral Solutions, a leading provider of complete technology solutions and professional services in the embedded space, announced the availability of AdaCore’s enhanced GNAT Pro offerings on all active versions of Wind River’s VxWorks real-time operating system.

Ranging from VxWorks 5, VxWorks 6, VxWorks 653, VxWorks DO-178B, and VxWorks MILS, GNAT Pro is now available for an extensive range of VxWorks platforms. In addition, all Wind River platforms supporting deployment in DO-178B certified environments are also supported.

Catering to the demanding requirements of the defence and aerospace sector, AdaCore’s enhanced GNAT Pro product offerings deliver customized solutions for a wide range of deployment environments. GNAT Pro for VxWorks 5 and 6 are suitable for general-purpose software development.

The GNAT Pro offering for VxWorks 6, supports both symmetric multiprocessing (SMP) and asymmetric multiprocessing (AMP) multicore implementation models that allow customers to deploy Ada on advanced multicore processors while enabling high levels of optimization for a variety of challenging multiprocessor designs and configurations.

The specialized GNAT Pro High-Integrity Edition for DO-178B, available for the VxWorks 653 and VxWorks DO-178B Platforms caters to RTCA DO-178B and IEC 61508 safety-critical systems.

Offering three specific runtime environments, AdaCore’s GNAT Pro High-Integrity Edition includes a zero-foot-print (ZFP) library that simplifies safety certification for sequential applications, a Ravenscar library that provides support for tasking or multi-processing and a Cert library that adds ARINC653 awareness and supports advanced integrated modular avionics (IMA) features.

Offering a powerful application development environment to the aerospace and defence industry for Ada application development within a MILS (multiple independent levels of security) architecture, AdaCore’s GNAT Pro offering for VxWorks MILS combined with SPARK Pro supports security certification of user applications or their components to Evaluation Assurance Level (EAL) 5 and higher. SPARK Pro is an Integrated Development Environment combined with the SPARK language tool set suited for safety-critical and high-security application development.