Rust in Aerospace: DO-178C Qualification Path Is Now Tractable

AdaCore and Ferrous Systems have jointly published a qualification kit for Rust targeting DO-178C DAL A. The kit covers tool qualification for the rustc compiler and provides a formal safety manual, making Rust a viable option for the highest-criticality airborne software.

Rust → DO-178C DAL A: The Path Is Now Open

For years, Rust's lack of a qualified toolchain was the blocker for aerospace adoption. That barrier is now removed.

What the kit includes: A formal compiler qualification data package for rustc (specific version), a safety manual covering undefined behavior mitigations, and a set of qualified libraries covering no_std embedded patterns.

What it doesn't cover: Dynamic memory allocation, async/await, and proc macros remain outside scope for DAL A use cases.

Practical implications: Teams can now start DO-178C planning documents that include Rust source code, subject to their DER's concurrence. Early adopters report the qualification data adds ~15% to plan overhead but eliminates years of language restriction workarounds.

Limitations: The current kit targets armv7m and aarch64 targets only. x86 qualification is planned for H2 2026.