AdaCore and the Future Airborne Capability Environment (FACE)
The FACE™ approach is a government-industry initiative for reducing defense system life cycle costs through portable and reusable software components. It consists of a technical approach — a software standard based on well-defined common interfaces — and a business strategy for encouraging the development and deployment of FACE conformant products.
AdaCore is committed to the success of the FACE approach, and both the Ada language and the company’s product offerings directly support the initiative’s objectives. Ada is unique in its support for portable, reliable and efficient code. The language was designed for programming critical real-time embedded systems and has a long and successful track record in military / aerospace projects and in other high-assurance domains where safety and/or security are required.
- FACE™ Conformance Verification for Ada Software - Benjamin M. Brosgol. Albert Lee, Patrick Rogers, & Dudrey Smith
- Developing FACE™ conformant software in Ada - Benjamin M. Brosgol & Albert Lee
- AdaCore Technologies for FACE™ Software Developers - Benjamin M. Brosgol & Dudrey Smith
- Making software FACE conformant and fully portable: Coding guidance for Ada - Military Embedded Systems
Military Embedded Systems
- Portability And High Assurance For Airborne Software
- Serving on the Conformance Verification and Operating Systems Subcommittees to formulate effective policies and procedures for FACE Technical Standard conformance for Ada software
- Dr. Benjamin Brosgol, a member of AdaCore's senior technical staff, serving as Technical Working Group Vice-Chair of The Open Group FACE™ Consortium for the June 2020 - June 2022 term
- Ensuring Ada 2012 capability set support in the FACE Technical Standard so that FACE component developers can take advantage of contract-based programming and other modern features
- Ada-development environments. AdaCore’s GNAT Pro Ada development environment supports a wide range of native and cross platforms and is supplemented by a variety of static and dynamic analysis tools. One of the editions of this product, GNAT Pro Assurance, is especially suited to projects requiring long-term maintenance and/or safety certification based on a specific version of the GNAT Pro technology.
- Run-time libraries. GNAT Pro cross compilers for several target platforms include run-time libraries for the Ada Safety-Extended and Safety-Base & Security profiles / capability sets. These libraries are available for RTOSes that have undergone or are planned for FACE conformance, in particular Wind River’s VxWorks 653 and Lynx Software Technologies’ LynxOS-178. The libraries help FACE component developers meet the portability goal underlying the FACE initiative while providing the analyzability, predictability and efficiency required in high-assurance real-time avionics systems.
- Capability set enforcement. The GNATcheck coding standard enforcement tool can check conformance with the restrictions defined by each of the Ada capability sets.
- Supplemental tools. Other AdaCore products that are useful to FACE application developers include the CodePeer advanced static analysis tool for detecting vulnerabilities and other errors in Ada code, the SPARK Pro formal methods-based toolsuite for verifying critical program properties with mathematics-based rigor, and the GNATcoverage dynamic analysis tool for checking source or object code coverage.
- Safety certification. DO-178B/C certification material is available for several run-time libraries, and qualification material is available for a number of GNAT Pro tools.
The bottom line: when portable software at the highest levels of assurance is required, AdaCore offers the trusted technology and support that FACE component developers can rely on.
For more information about Ada, AdaCore, and the FACE approach:
- Technical Interchange Meeting Welcome Address by Franco Gasperoni, AdaCore CEO, September 2020
- AdaCore and FACE Q&A with Franco Gasperoni, AdaCore CEO, December 2020
- The FACE™ open systems strategy gaining traction in the avionics industry by Jessie Glockner & Ben Brosgol, September 2020
- "DO-178C Meets the FACE Technical Standard: High Assurance and Reusability for Airborne Software"; B. Brosgol; Military Embedded Systems, March 2020
- DO-178C meets the FACE Technical Standard
Military Embedded Systems, March 2020
- "Verifying High-Assurance FACE Components with Ada and SPARK: Combining Formal Methods and Testing"; B.Brosgol; Air Force Technical Interchange Meeting, Dayton OH, September 2019.
- “Portable, Reliable and Efficient Concurrency: Ravenscar Ada Tasking and the FACE™ Safety Profiles”; B. Brosgol. P. Rogers, D. Smith; Military Embedded Systems, November-December 2018
- “Ada Language Run-Times and the FACE™ Technical Standard: Achieving Application Portability and Reliability"; B. Brosgol, P. Rogers, D. Smith; Army FACE™ Technical Interchange Meeting, Huntsville AL, September 2018
- “Towards Safety and Security in FACE™ Components: High Assurance with Portability”; B. Brosgol. D. Smith; Military Embedded Systems, March 2018
AdaCore Technologies for FACE™ Software Developers
This booklet explains how AdaCore’s products can help avionics software developers realize the portability goals of the FACE approach while also meeting assurance objectives for reliability, safety, and security that are needed for airworthiness certification.