Rust 基金会成立安全关键型 Rust 联盟

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 项目合作。

公告指出，潜在的章程项目包括制定指南、linters、库、静态分析工具、形式化方法和语言子集，以满足行业和法律要求。该联盟的交付成果将以与其他 Rust 项目工作兼容的方式进行开发和授权。

此外，该小组可进一步指导 Rust 基金会的资助工作，包括为现有学术团队或 FOSS 项目提供资助。任何由 Rust 基金会资助的工作都将向上游提交，并作为自由和 FOSS 授权，且任何规范都将免费提供。该小组将进一步尝试与现有的安全关键型项目和标准（包括 SAE JA1020）进行协调和扩展。

Rust 基金会执行董事兼首席执行官 Rebecca Rumbul 表示，安全关键型行业之所以选择 Rust，是因为其安全性、可靠性和性能优势。“考虑到安全关键行业的重要性，Rust 基金会非常积极地将各个社区和行业的关键利益相关者聚集在一起，探索 Rust 如何满足合规标准并为每个人提供更好的软件做出贡献。”

Rust 基金会技术总监 Joel Marcey 则表示：“Rust 已在开源、行业和政府开发者中确立了其作为安全可靠的编程语言的地位。现在是时候利用这一势头，将 Rust 打造为安全关键领域的主流语言，提供允许 Rust 在该领域获得认证的流程和规范。”

目前，安全关键型 Rust 联盟会员资格面向 Rust 基金会成员组织和其他受邀者开放，例如行业、学术界和法律专家。

更多详情可查看官方公告：https://foundation.rust-lang.org/news/announcing-the-safety-critical-rust-consortium/