AdaCore has two announcements about Rust that we’d like to share with you!

First, AdaCore and Ferrous Systems have jointly developed a Rust toolchain that is undergoing ISO 26262 and IEC 61508 qualification with TÜV SÜD. The toolchain includes a language specification that we have made available to the community and a version of rustc that is being qualified against the specification. Working together on a qualification for an automotive OEM, Ferrous and AdaCore gained important experience in certification that has enabled us to move forward confidently. Leveraging this experience, we are now ending our partnership so that, by focusing on our core customers independently, we can better support the high-integrity Rust market.

Second, AdaCore has launched GNAT Pro for Rust! GNAT Pro for Rust delivers stability, security and dependability for your critical, embedded Rust applications - all with the best-in-class support you’ve come to expect from AdaCore.

"Our customers have expressed a strong desire to use Rust but have been unable to do so due to the limitations of existing Rust toolchains,” said Quentin Ochem, Chief Product Officer at AdaCore. “This is particularly true in the context of certifiable security- and safety-critical embedded software. GNAT Pro for Rust addresses these concerns by removing the key barriers that have hindered the adoption of Rust. With GNAT Pro for Rust, our customers can confidently embrace Rust and move forward, equipped with the necessary tools for success."

For more information, check out the GNAT Pro for Rust webpage!