Ferrocene replace – Ferrous Methods
Ferrocene
A Rust compiler toolchain for safety- and mission-critical environments.
Now we have an replace to share on Ferrocene, the premier security compiler for Rust. We would additionally like to ask you to the Ferrocene release announcement, occurring on October 4th.
AdaCore and Ferrous Methods have collectively developed a Rust toolchain that’s present process ISO 26262 and IEC 61508 qualification with TÜV SÜD. The toolchain features a language specification that we have now made accessible to the neighborhood, and a model of rustc that’s being certified in opposition to the specification. Working collectively on a qualification for an automotive OEM, Ferrous and AdaCore gained necessary expertise in certification that has enabled us to maneuver ahead confidently. Leveraging this expertise, we are actually ending our partnership in order that, by specializing in our core prospects independently, we will higher help the high-integrity Rust market.
That additionally signifies that Ferrocene will change into accessible later this yr, and show the purpose that Rust is prepared for adoption in all industrial use instances, together with safety-critical.
We respect AdaCore’s resolution to depart the joint Ferrocene challenge and thank them for contributing to the trouble. We firmly consider that this partnership, trade of information, and experience from each side has total benefitted the safety-critical industries.
Ferrous Methods sees Ferrocene as a basic reconsideration of the position compilers play in security. We’re strongly dedicated to our companions and prospects in all industries, and to the Rust communities.
The Ferrocene launch candidate is accessible proper now.
You’ll be able to attain us by our contact form to get entry.
We would additionally wish to take this opportunity to ask you to our “A Decade of Rust” Birthday party, on October 4th, online – which purposefully doubles because the Ferrocene announcement. Please RSVP for getting a reminder, or simply drop by!