AdaCore: GNAT Pro supports Wind River’s FACE conformant VxWorks 653 platform
AdaCore announced the continuing growth of its Future Airborne Capability Environment (FACE) support, through both the current availability of its GNAT Pro 17.1 Ada Development Environment for the Wind River FACE Certified VxWorks 653 Platform, and initiation of the FACE verification/certification process for GNAT Pro 17.1. VxWorks 653 is the first Commercial-Off-The-Shelf product to be certified as conformant to the FACE Technical Standard’s Operating System Segment Safety Base Profile. By using GNAT Pro on this platform, developers of embedded software can realize the benefits of Ada’s high reliability together with the safety-critical support and ease of rapid component integration that come from VxWorks 653 and its FACE conformance.
GNAT Pro for VxWorks 653 includes a configurable run-time library facility that is targeted toward high-assurance applications. The “cert” run-time profile for VxWorks 653, which includes support for threading, exceptions, and (limited) dynamic allocation, has been used in airborne systems that have been certified to DO-178B Design Assurance Level A.
AdaCore has been actively participating in the FACE Consortium for the past five years, with the objective of ensuring that Ada’s software engineering benefits are appropriately reflected in the Ada language profiles. With all internal testing and analysis showing that GNAT Pro supports the FACE OSS Ada language requirements, AdaCore has started working with an approved FACE Verification Authority to verify that GNAT Pro Ada meets the applicable FACE Technical Standard requirements for the Ada Language Runtime Safety and Security Profiles.