开放 Ferrocene 的 Rust 编译器代码

Ferrous Systems 宣布已开始将 Ferrocene(用于关键任务系统的专有 Rust 编译器发行版)转换为开源项目。 Ferrocene 代码是根据 Apache 2.0 和 MIT 许可证发布的。 Ferrocene 提供了用于在 Rust 中开发信息安全和安全关键系统应用程序的工具,这些系统的故障可能会威胁人类生命、危害环境或导致设备严重损坏。

其基础是 rustc,这是 Rust 项目的标准编译器,旨在满足汽车和工业系统软件环境的要求(ISO 26262 和 IEC 61508)。 二茂铁的可靠性通过广泛的检查、测试和质量管理技术得到验证。 在过去的两年里,该产品一直作为专有产品进行开发,但 Ferrous Systems 已将其改进和对已识别错误的更正返回给主项目。

开发目标之一是让 Ferrocene 尽可能靠近上游(理想情况下根本不做任何更改),因此建议将独立贡献者开发的改进和修复直接推送到主 rust-lang/rust 存储库中,而不是推送到主 rust-lang/rust 存储库中二茂铁存储库。 就其本身而言,Ferrous Systems 将专注于提供经过验证的二进制组件、集成到设备制造商的 SDK 中、致力于工业平台上的质量保证和测试、实施对 DO-178C、ISO 21434 和 IEC 62278 标准的支持,以及促进rustc 关键任务系统和嵌入式工业设备所需的功能和变化。

Ferrocene 23.06.0 计划很快发布,这将是第一个符合 ISO 26262 (ASIL D) 和 IEC 61508 (SIL 4) 要求的版本。 该版本基于 Rust 1.68 工具包,处于生产的最后阶段,但它不会完全开放,因为它包含来自之前合作伙伴之一的专有信息。 Ferrocene 23.06.0 发布后,将立即开始版本 23.06.1 的工作,他们计划清理专有内容并在下个月将其作为开放产品发布。 进一步的开发将以开放形式进行,所有进一步的版本都将以开源形式发布。 未来,他们还计划开放 Criticalup 安装程序的代码,并将其开发与 rustup 项目同步。

来源: opennet.ru

添加评论