How do you certify Rust code for DO-178C?

Free DO-178C verification handbook: https://www.rapitasystems.com/do178c-...
Learn more about object code verification: https://www.rapitasystems.com/object-...

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

_______________________________________________________

Connect with us on LinkedIn:   / rapita-systems  

About Rapita Systems
Rapita Systems group provides on-target software verification tools and services globally to the embedded aerospace and automotive electronics industries. Its solutions, including requirements-based functional testing, structural code coverage analysis and worst-case execution time analysis, help to increase software quality and deliver evidence to meet safety and certification objectives and reduce costs for DO-178C and ISO 26262 projects. The group provides the world’s leading commercial solution for timing analysis to support the certification of multicore systems, including systems developed to meet AC 20-193, AMC 20-193 and AA-22-01 standards.