Ferrocene

rust safety-critical

安全臨界向けに認定された Rust ツールチェーン。Ferrous Systems(+ 当初 AdaCore)開発。上流 rustc をフォークせず、同じコンパイラを認定されたビルド/テスト/リリースプロセスで出す点が肝。Rust を安全臨界に投入する話の中核で、rustc が本来 SOUP である問題を tool qualification で解く実例。

何が “Ferrocene” なのか — コンパイラでなくプロセス

中身の rustc は上流とほぼ同一(フォークして別物を作るのではない)。Ferrocene が付加するのは:

認定の証跡(qualification evidence) — どう作り・テストし・リリースしたかの文書一式
長期サポート(LTS)と固定されたリリースチャネル
Rust 言語仕様(FLS) — 認定に必須(後述)

→ 価値は「別の安全なコンパイラ」ではなく「普通の rustc を認証に通せる形にした」こと。

認定範囲(TÜV SÜD)

標準	レベル
ISO 26262(自動車)	ASIL D
IEC 61508(産業)	SIL 3(SIL 4 の顧客認証を支援)
IEC 62304(医療)	Class C(Rust ツールチェーン初、2025/1)
DO-178C(航空)	DAL C の顧客認証を支援する段階

加えて core ライブラリの認定サブセットも拡大中(IEC 61508 SIL 2 / ISO 26262 ASIL B、認定関数 2,903→5,169、最小 panic hook 等 / Ferrocene 26.02.0)。

完全オープンソース(認証文書ごと)

ツールチェーンは MIT OR Apache-2.0 で、認定文書まで含めて公開。安全臨界の認証成果物は通常クローズド・高額なので、これは異例。ビジネスは有償サポート/サブスクと証明書の提供で成立させる。

FLS — Ferrocene 言語仕様

ツールチェーン認定には「コンパイラがソースをどう扱うべきか=言語仕様」が要る。だが当時 Rust に公式仕様が無かった → Ferrous Systems と AdaCore が 2022/7 に FLS を作成。

のちに FLS を Rust Project に寄贈 → 公式 Rust 仕様策定の土台に。
「認証要件が、言語そのものの仕様整備を前に進めた」という波及効果。

開発体制

当初 AdaCore + Ferrous Systems の共同開発(ISO 26262 / IEC 61508 認定を TÜV SÜD で推進)。その後両社は提携を解消し、各々が高インテグリティ Rust 市場を独立して支援する形に。Ferrocene は Ferrous Systems が継続。