详细内容或原文请订阅后点击阅览
Rust 抵御黑客：联盟保护关键系统
该联盟将开发指南、工具和库。
来源:安全实验室新闻频道该联盟将开发指南、工具和库。
2024 年 6 月 12 日，Rust 基金会与 AdaCore、Arm、Ferrous Systems、HighTec EDV-Systeme GmbH、Lynx Software Technologies、OxidOS、TECHFUND、TrustInSoft、Veecle 和 Woven by Toyota 共同宣布成立联盟Rust 在安全系统中的应用。该联盟的主要目标是支持 Rust 为关键任务系统进行负责任的软件开发，这些系统的故障可能导致生命损失或对环境和财产造成严重损害。
铁锈 声明该联盟的参与将向 Rust 基金会的成员组织以及来自工业界、学术界和法律领域的受邀专家开放。该联盟的首要任务是制定章程、定义业务目标并发布会议纪要。该联盟将通过 Rust 基金会项目总监和 Rust 项目团队成员与 Rust 项目进行互动。
该联盟计划开发指南、特殊代码检查程序（linter）、库、代码分析工具、形式化方法和语言的各个部分，以满足工业和法律要求。所有这些可交付成果都将根据 Rust 项目的原则创建和许可。此外，该联盟还可以协调和资助这些开发的实施，包括向学术团队或开源项目提供资助。
该集团还计划将其工作与现有项目和安全标准（包括 SAE JA1020）进行协调，以扩展和改进当前的举措。