We have an update to share on Ferrocene, the premier safety compiler for Rust. We'd also like to invite you to the Ferrocene release announcement, happening on October 4th.

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.

That also means that Ferrocene will become available later this year, and prove the point that Rust is ready for adoption in all industrial use cases, including safety-critical.

We respect AdaCore's decision to leave the joint Ferrocene project and thank them for contributing to the effort. We firmly believe that this partnership, exchange of knowledge, and expertise from both sides has overall benefitted the safety-critical industries.

Ferrous Systems sees Ferrocene as a fundamental reconsideration of the role compilers play in safety. We're strongly committed to our partners and customers in all industries, and to the Rust communities.

The Ferrocene release candidate is available right now. You can reach us through our contact form to get access.

We'd also like to take this chance to invite you to our "A Decade of Rust" Birthday party, on October 4th, online - which purposefully doubles as the Ferrocene announcement. Please RSVP for getting a reminder, or just drop by!