Otevření kódu kompilátoru Ferrocene's Rust

Společnost Ferrous Systems oznámila, že začala převádět Ferrocene, proprietární distribuci kompilátoru Rust pro kritické systémy, na projekt s otevřeným zdrojovým kódem. Kód Ferrocene je publikován pod licencí Apache 2.0 a MIT. Ferrocene poskytuje nástroje pro vývoj aplikací v Rustu pro zabezpečení informací a systémy kritické z hlediska bezpečnosti, jejichž selhání by mohlo ohrozit lidský život, poškodit životní prostředí nebo vést k vážnému poškození zařízení.

Základem je rustc, standardní kompilátor z projektu Rust, přivedený ke splnění požadavků softwarových prostředí pro automobilové a průmyslové systémy (ISO 26262 a IEC 61508). Spolehlivost ferocenu je ověřena použitím rozsáhlých technik kontroly, testování a řízení kvality. Poslední dva roky se produkt vyvíjel jako proprietární produkt, ale Ferrous Systems vrátila jeho vylepšení a opravy zjištěných chyb do hlavního projektu.

Jedním z vývojových cílů je udržet ferocen co nejblíže proti proudu (ideálně žádné změny), proto se navrhuje, aby vylepšení a opravy vyvinuté nezávislými přispěvateli byly vloženy přímo do hlavního úložiště rzi/rez, nikoli do úložiště ferocenu. Ferrous Systems se zaměří na poskytování ověřených binárních sestav, integraci do SDK výrobců zařízení, práci na zajišťování kvality a testování na průmyslových platformách, implementaci podpory norem DO-178C, ISO 21434 a IEC 62278 a také propagaci rustc schopnosti a změny požadované v kriticky důležitých systémech a vestavěných průmyslových zařízeních.

Brzy se plánuje vydání Ferrocene 23.06.0, což bude první verze splňující požadavky ISO 26262 (ASIL D) a IEC 61508 (SIL 4). Vydání je založeno na sadě nástrojů Rust 1.68 a je ve finální fázi výroby, ale nebude plně otevřené, protože obsahuje proprietární informace od jednoho z předchozích partnerů. Ihned po zveřejnění Ferrocene 23.06.0 začnou práce na verzi 23.06.1, ve které plánují vyčistit proprietární inkluze a publikovat ji jako otevřený produkt příští měsíc. Další vývoj bude probíhat v otevřené formě a všechna další vydání budou publikována jako open source. V budoucnu také plánují otevřít kód instalátoru kritického upevňování a synchronizovat jeho vývoj s projektem rustup.

Zdroj: opennet.ru

Přidat komentář