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/