Certification-Ready Rust: GNAT Pro & RVS for Avionics Standards

As the aerospace industry evolves, so too must the tools and languages we use to build its most critical systems. Rust is emerging as a powerful, memory-safe alternative to C/C++, but how can it be used in environments governed by rigorous standards like DO-178C?

In this exclusive webinar, AdaCore and Rapita Systems will demonstrate how their tools GNAT Pro for Rust and the Rapita Verification Suite (RVS) can enable the safe, certifiable use of Rust in avionics software.

What You’ll Learn

• How Rust’s safety features align with DO-178C objectives
• What makes GNAT Pro for Rust suitable for certification
• How RVS tools verify Rust code with zero-footprint techniques
• How to generate traceability, coverage, and timing artifacts for audits
• How AdaCore and Rapita support tool qualification and regulatory engagement
• Practical steps to begin evaluating and certifying Rust-based software

Why Attend

This webinar is tailored for professionals involved in certifying safety-critical software. Whether you're preparing for audits, evaluating new technologies, or guiding regulatory strategy, this session offers practical insights and direct access to the teams behind the tools.

Presenters

Dr Antoine Colin is a founder of Rapita Systems Ltd and leads the team in charge of the development of all the hardware and software product lines of the company, and the engineering services team in charge of delivering our solutions to customers. He is the software architect for the RVS software platform and has been the main developer for a large part of its key technologies. His expertise lies in on-target analysis for safety critical and real-time systems (timing analysis, structural coverage, constraints checking, etc.) and he has been involved in several research projects ranging from simulation of cryptographic processors, analysis of the impact of modern CPU architecture for space applications, to automatic code transformation for fault detection.

Dr. Jose Ruiz is a Product Manager at AdaCore with 25 years of experience in embedded safety-critical real-time systems, having authored/coauthored over 40 papers in that area. He received his Ph.D. Degree for his work in the field of real-time and multimedia systems, including scheduling policies and resource management in real-time operating systems.He is an expert in the certification of high-integrity systems in the aeronautics, space, and railway domains, and he has been involved in the certification/qualification of run-time libraries and automatic code generators from modeling languages.Throughout his career, he has worked on the definition of language profiles for embedded systems and the design and implementation of the run-time support required for executing on bare-metal targets.