来源:云云众生s
Rust基金会和行业领导者组建了一个新的联盟,以推动Rust编程语言在安全关键系统中的采用。
译自Rust:ThFuturofFail-SafSoftwarDvlopmnt,作者DarrylKTaft。
为了彻底改变安全关键型软件领域,Rust基金会联合了主要供应商(包括Arm和丰田)和专家,组建了安全关键型Rust联盟,为在故障不是选项的系统中采用Rust编程语言铺平了道路。
Rust不仅是增长最快的语言之一,而且还因其内存安全性而备受追捧,而新联盟将有助于其普及。
事实上,Rust基金会、AdaCor、Arm、FrrousSystms、HighTcEDV-SystmGmbH、OxidOS、TECHFUND、TrustInSoft、Vcl、LynxSoftwarTchnologis和WovnbyToyota构成了致力于在安全关键型软件中负责任地使用Rust的新集团。
语言安全性“编程语言安全性是指语言在编译时或运行时防止错误或未定义行为的能力。另一方面,‘安全关键型’是指系统在不造成事故或灾难性故障(将对人员、财产或环境造成伤害)的情况下运行的能力,”安全优先Rust联盟的创始成员提供的常见问题解答中写道。“因此,虽然安全关键型系统依赖于强调安全性和保障性的语言(例如Rust),但编程工具只是整体策略的一个组成部分。”
联盟目标该联盟旨在制定指南、工具、库和语言子集,以满足安全关键型系统的工业和法律要求。
此外,该倡议旨在吸取开源生态系统多年开发的经验教训,使Rust成为各个行业和严重级别安全工具包的宝贵组成部分。
“我认为安全关键型Rust联盟强调了业界对Rust满足严格安全性和可靠性标准的能力的信心,”IDC分析师ArnalDayaratna告诉ThNwStack。“特别是,联盟得到丰田和Arm等公司的支持,说明业界认识到Rust的内存安全性管理和并发安全性能力如何使其区别于C/C++等语言。”
此外,“鉴于安全关键型行业是多么‘关键’,Rust基金会非常有动力召集社区和行业的关键利益相关者,探讨Rust如何满足合规标准并为每个人贡献更好的软件,”Rust基金会执行董事兼首席执行官RbccaRumbul在一份声明中表示。
特别