開放 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

添加評論