Ferrocene 26.02.0 now available!

Today we're announcing the release of Ferrocene 26.02.0, the latest update to our qualified Rust toolchain. This release arrives with an additional certification, ISO 26262 (ASIL B), for the certified subset of the Rust core library (core)!

Now, it's even easier to start integrating Rust into your safety-critical industrial systems. Your team can immediately start shipping certifiable code for multiple architectures using a fully qualified Rust compiler and a significant subset of the core library certified.

1.0 What is Ferrocene?

Developed as an open source, downstream Rust distribution, Ferrocene is 100% drop-in compatible with the main Rust compiler, allowing you to work seamlessly with both the toolchain distributed by the Rust project and the safety-critical Ferrocene toolchain.

Installation is a breeze: Use criticalup or download the relevant tarballs and unpack them. Users can even use criticalup link to enable familiar UX like cargo +ferrocene build. Your team won't have to administer a license server, CI integration is a snap, and the toolchain can be used totally offline, such as while travelling or in air-gapped environments.

Ferrocene is TÜV SÜD-qualified for use in safety-related development according to ISO 26262 (ASIL D), IEC 61508 (SIL 3), and IEC 62304 (Class C), and supports customer certification efforts toward assurance levels IEC 61508 SIL 4 and DO-178C (DAL C).

A subset of the core library distributed with Ferrocene is certified to IEC 61508 (SIL 2) and ISO 26262 (ASIL B).

We'd love to tackle other qualifications and certifications alongside partners. Let us know if that partner can be you!

1.1 What is new in Ferrocene 26.02.0

Ferrocene 26.02.0 includes changes from Rust 1.91, and 1.92, such as new lints, stabilized APIs, and #[macro_export] input validation.

In addition, we certified an even larger subset of core up to IEC 61508 (SIL 2) as well as added ISO 26262 (ASIL B). This release increases the number of certified functions from 2,903 to 5,169, including things like minimal certified panic hooks and expanded modules such as core::slice, core::iter, core::ffi, and core::result. We plan to continue growing this subset over time, prioritized by customer need.

This release reaffirms our commitment to providing modern, qualified Rust compilers and certified libraries to the safety-critical world.

If your project needs additional functionality certified, new certifications added, or even additional libraries certified on top of core, we encourage you to reach out!

Read the full release notes.

1.2 Available for purchase today!

With Ferrocene, users can develop high-assurance software from the start, without a massive upfront investment. Ferrocene is available for purchase today for €25/month or €240/year per user, providing access to all supported versions of Ferrocene (current and future), along with basic support.

Go to ferrocene.dev to purchase Ferrocene, or contact sales for more information on custom enterprise subscriptions.

Not sure if Ferrocene has the features you and your team need? You can also schedule a Why Ferrocene? session by reaching out to our sales team.