Ferrocene 是一个工具链,用于在安全关键环境中使用 Rust 编程语言。它是 Rust 主要编译器 rustc 的一个合适下游,由 Rust 项目维护在 [`Rust-lang/Rust`] 上。
* ISO 26262 (ASIL D) * IEC 61508 (SIL 4) * IEC 62304 此外,还计划为其他标准和领域(如铁路和航空航天)提供认证。
* [docs.ferrocene.dev]: 可供客户和合作伙伴使用,包含所有版本渠道的文档。 * [public-docs.ferrocene.dev/main]: 向公众开放,包含在 `main` 分支上合并的最新提交的文档。
作为 Rust 项目的下游，Ferrocene 偏好保持编译器不变。这意味着对编译器或其工具（以及相关讨论）的一般性贡献应发生在上游（[`Rust-lang/Rust`]）。然而，Ferrocene 确实作为同行社区，提出并实现安全关键性变更所需的变更。