Rust生态系统中对安全关键系统支持资源不足的问题
关键要点
Rust基金会成立了安全关键Rust联盟,旨在推动Rust在安全关键软件中的负责任应用。联盟成员包括Arm、Ada Core Technologies、OxidOS Systems和丰田Woven等企业。目标包括制定指南、开发静态分析工具及库,并提供开源软件开发的研究资金。据SiliconAngle报道,Rust生态系统中对安全关键系统的支持资源不足,促使Rust基金会成立了新的安全关键Rust联盟。该联盟与多个组织合作,旨在推动Rust语言在安全关键软件中的负责任使用。
该联盟的主要任务不仅是创建指导方针、开发静态分析工具和库,以支持特别在运输、生命科学和能源等行业中的安全关键系统,还包括提供关于开源软件开发研究的资助。下表总结了联盟的主要目标和成员:
水母加速器试用目标联盟成员制定安全关键系统的指南Arm Ada Core Technologies开发静态分析工具和库OxidOS Systems Woven by Toyota提供开源软件开发的研究资助其他行业领导者“Rust已经在开源、工业界和政府中确立了安全可靠的编程语言地位。现在是利用这种势头将Rust推向安全关键领域主流语言的时候,提供可确保Rust在这一领域得到认证的过程和规范。” Rust基金会技术总监Joel Marcey说道。
