Certification-Ready Rust: GNAT Pro & RVS for Avionics Standards
Webinar – 30th September at 3PM (BST)
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.
Please register via the link:
