Rust Safety Profile Targets DO-178C DAL A — Three Vendors Announce Toolchain Support

The Rust Safety-Critical Consortium published a language profile restricting unsafe blocks and dynamic allocation for DO-178C DAL A software. Three qualified compiler vendors announced preliminary support; EASA acknowledged the submission.

Background

The Rust Safety-Critical Consortium, established in 2024 under the Rust Foundation, has been developing a formal language profile suitable for safety-critical embedded software. The profile defines which Rust features are permissible at each IEC 61508 SIL and DO-178C DAL level.

Profile for DAL A

• All `unsafe` code must be isolated behind verified wrappers
• No dynamic heap allocation after initialization
• Standard library restricted to a curated subset
• Deterministic stack usage analysis required

Vendor Response

Ferrous Systems, AdaCore, and one unnamed defense contractor announced qualified compiler toolchains for Q3 2026.

Regulatory Status

EASA formally acknowledged receipt and confirmed consideration in the ongoing CM-SWCEH-001 update.