Rust 基金会宣布成立一个新的子小组，致力于在安全关键型软件中使用 Rust 语言，该小组将其定义为“其故障可能影响人类生命或造成严重环境或财产损害的系统”。
安全关键 Rust 联盟由许多与 Rust 基金会合作的组织组成：AdaCore、Arm、Ferrous Systems、HighTec EDV-Systeme GmbH、Lynx Software Technologies、OxidOS、TECHFUND、TrustInSoft、Veecle 和 Woven by Toyota。
Rust 基金会执行董事兼首席执行官 Rebecca Rumbul 表示，Rust 吸引了安全关键型行业，因为它具有安全性、保障性和性能优势。
“鉴于安全关键行业的‘重要性’，Rust 基金会非常有动力将社区和行业的主要利益相关者聚集在一起，探索 Rust 如何满足合规标准并为每个人提供更好的软件，”她说。
安全关键 Rust 联盟的第一个行动项目将是制定公共章程和目标。根据 Rust 基金会的说法，潜在的章程项目包括指南、linter、库、静态分析工具、形式方法和语言子集的开发，所有这些都是为了满足围绕这些安全关键系统的严格要求和法规。
该小组将通过 Rust 基金会项目总监和 Rust 项目团队成员与整个 Rust 项目进行合作。
技术总监乔尔·马西 (Joel Marcey) 表示：“鉴于软件漏洞日益普遍，特别是在内存安全方面，汽车、航空航天和核心基础设施等安全关键行业必须开发降低这些漏洞风险的软件实践。”在 Rust 基金会。 “Rust 已被证明是安全软件开发各个方面的理想编程语言，它应该成为安全关键操作的首选。安全关键 Rust 联盟将使许多有影响力的公司和组织能够协作确保 Rust 满足安全关键应用程序中的基本合规标准。”
您可能还喜欢……
