纽约，2022年2月2日AdaCore，一个值得信赖的软件开发和验证工具提供商，今天宣布与铁系统是一家专门从事Rust编程语言的技术公司。此次合作旨在进一步开发Ferrous Systems公司的二茂铁锈工具链，以支持嵌入式任务和安全关键应用，并使其符合相关行业软件安全标准。

对Rust的兴趣和使用在工业应用中正在增长，但对于安全关键市场，如汽车、航空航天和国防，目前还没有安全认证的Rust工具链。二茂铁合作伙伴将支持那些希望将这种新兴Rust语言技术集成到其安全关键应用程序中的客户的资格认证需求。

“在过去的25年里，AdaCore通过投资于新的架构、语言和技术，支持安全和关键任务行业不断发展的需求。我们相信Ada和Rust在安全和安全关键领域都有需求，”AdaCore产品管理和业务发展主管Quentin Ochem说。“这一努力将补充我们长期以来对Ada的承诺，同时提供了一个机会，将我们在安全认证工具链方面的专业知识扩展到不断增长的Rust社区。”

Ferrous Systems董事总经理Florian Gilcher表示:“我们期待与AdaCore合作开发二茂铁。“我们的公司有许多相似的价值观，包括希望用更好的语言和工具来支持程序员，以实现更安全的编程，致力于开源软件，并推动软件认证。通过合作，我们可以更快地将安全认证的Rust工具链推向高完整性市场。”

有关AdaCore/Ferrous Systems二茂铁合作伙伴关系的更多信息，请阅读我们的博客．如果您正在寻找一个安全认证的Rust解决方案，请联系我们直接。

关于Ferrous Systems

Ferrous Systems成立于2018年，旨在通过提供商业服务和进一步开发Rust编程语言来提高Rust编程语言的商业可行性。Ferrous Systems的创始成员已经从根本上参与了Rust项目超过7年。Ferrous Systems的主要业务重点是使用Rust编程语言进行嵌入式软件开发、培训和工具开发。Ferrous Systems是全球最大的专注于Rust编程语言的软件公司。客户包括Mozilla、Sarcos Robotics和谷歌Android。

Ferrous Systems启动了Ferrocene项目，并专注于为Rust用户提供工具链和工具，使他们能够在Rust中构建安全关键型和安全关键型软件。这包括具有长期支持的工具链、鉴定包和用于保护Rust软件的工具。

关于AdaCore

AdaCore成立于1994年，为任务关键型、安全关键型和安全关键型系统提供软件开发和验证工具。

多年来，客户已经使用AdaCore产品在商业和军事航空电子设备、汽车、铁路、太空、国防系统、空中交通管理/控制、医疗设备和金融服务等领域部署和维护了广泛的关键应用。AdaCore拥有广泛且不断增长的全球客户群;看到www.adacore.com/industries获取更多信息。

AdaCore产品是开源的，并由开发人员自己提供专家在线支持。该公司的北美总部设在纽约，欧洲总部设在巴黎。www.adacore.com．

• 
• 
• 
• 
•