Apertura del codice del compilatore Rust Ferrocene

L'azienda Ferrous Systems ha annunciato l'inizio della trasformazione di Ferrocene, una distribuzione proprietaria con un compilatore Rust per sistemi critici, in un progetto open source. Il codice di Ferrocene è pubblicato sotto le licenze Apache 2.0 e MIT. Ferrocene fornisce strumenti per lo sviluppo di applicazioni in linguaggio Rust per la protezione delle informazioni e per sistemi critici che richiedono un'affidabilità elevata (Safety-Critical Systems), il cui guasto può minacciare la vita delle persone, danneggiare l'ambiente o causare seri danni alle attrezzature.

Come base è stato utilizzato rustc, il compilatore ufficiale del progetto Rust, conforme ai requisiti degli ambienti software per sistemi automobilistici e industriali (ISO 26262 e IEC 61508). L'affidabilità di Ferrocene è stata verificata attraverso l'applicazione di metodi di controllo, test e gestione della qualità avanzati. Negli ultimi due anni, il prodotto è stato sviluppato come proprietario, ma l'azienda Ferrous Systems ha restituito le proprie modifiche e correzioni di errori identificati al progetto principale.

Uno degli obiettivi dello sviluppo è mantenere Ferrocene il più vicino possibile al upstream (idealmente senza modifiche), pertanto i miglioramenti e le correzioni sviluppati da partecipanti indipendenti sono da trasmettere direttamente al repository principale rust-lang/rust, piuttosto che al repository di Ferrocene. Da parte sua, Ferrous Systems si concentrerà sulla fornitura di build binarie verificabili, integrazione negli SDK dei produttori hardware, attività di controllo della qualità e testing su piattaforme industriali, implementazione del supporto per gli standard DO-178C, ISO 21434 e IEC 62278, e promozione nel core di rustc delle funzionalità e delle modifiche richieste nei sistemi critici e nei dispositivi industriali embedded.

Un rilascio di Ferrocene 23.06.0 è programmato a breve, che sarà il primo rilascio conforme ai requisiti ISO 26262 (ASIL D) e IEC 61508 (SIL 4). Il rilascio si basa sugli strumenti Rust 1.68 ed è in fase finale di preparazione, ma non potrà essere completamente aperto, poiché contiene informazioni proprietarie di uno dei partner passati. Subito dopo la pubblicazione di Ferrocene 23.06.0, inizierà il lavoro sulla versione 23.06.1, in cui si prevede di ripulire le inclusioni proprietarie e pubblicarlo il mese prossimo come prodotto open source. In seguito, lo sviluppo sarà condotto in forma aperta e tutti i futuri rilascio saranno pubblicati come open source. In futuro si prevede anche di aprire il codice dell'installer criticalup e sincronizzare il suo sviluppo con il progetto rustup.

Fonte: opennet.ru

Acquista un hosting affidabile per siti web con protezione DDoS, VPS VDS server 🔥 Acquista un hosting affidabile per siti web con protezione DDoS, VPS VDS server | ProHoster