Rust 基金会、AdaCore、Arm、Ferrous Systems、OxidOS、HighTec EDV-Systeme GmbH、TrustInSoft、Veecle 和 Woven by Toyota 宣布联合成立安全关键型 Rust 联盟（Safety-Critical Rust Consortium）。该小组的主要目标是支持在安全关键软件中负责任地使用 Rust 编程语言，这些软件的故障可能会影响人类生命或造成严重的环境或财产损害。

安全关键型 Rust 联盟成员资格向 Rust 基金会成员组织和其他受邀者开放，例如行业、学术和法律专家。该联盟的工作将从制定公共章程和目标开始，会议纪要将持续发布。安全关键型 Rust 联盟将通过 Rust 基金会项目主管和 Rust 项目团队成员与 Rust 项目联络。该联盟的范围将在章程中得到充分描述，包括开发指南、linters、库、静态分析工具、形式化方法和语言子集，以满足行业和法律要求。该联盟的可交付成果将以与其他 Rust 项目工作兼容的方式进行开发和许可。

官网原文：https://foundation.rust-lang.org/news/announcing-the-safety-critical-rust-consortium/