Articles 1 - 1
Avionics
Ada and the FACE approach: Enabling high-assurance, portable software for defense systems - Story
May 08, 2025The Future Airborne Capability Environment, or FACE, approach seeks to drive down defense system costs and accelerate delivery through software reuse, portability, and interoperability. Ada – a language purpose-built for high-integrity, real-time embedded systems – aligns naturally with these goals. With robust support for safety, security, and long-term maintainability, Ada is an appropriate language for software that aligns with the FACE Technical Standard. The recent approval of AdaCore’s verification methodology by the FACE Consortium further reinforces Ada’s role in this ecosystem, enabling developers to produce standards-compliant, portable components using Ada and the GNAT technology stack.
Articles 1 - 1
