Apertura del codice del compilatore Rust di Ferrocene

Ferrous Systems ha annunciato di aver iniziato a convertire Ferrocene, una distribuzione proprietaria di compilatore Rust per sistemi mission-critical, 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 Rust per la sicurezza delle informazioni e sistemi critici per la sicurezza, il cui guasto potrebbe minacciare la vita umana, danneggiare l'ambiente o portare a gravi danni alle apparecchiature.

La base è rusticc, un compilatore standard del progetto Rust, portato per soddisfare i requisiti degli ambienti software per sistemi automobilistici e industriali (ISO 26262 e IEC 61508). L'affidabilità di Ferrocene viene verificata attraverso l'uso di approfondite tecniche di ispezione, test e gestione della qualità. Negli ultimi due anni, il prodotto è stato sviluppato come prodotto proprietario, ma Ferrous Systems ha restituito al progetto principale i miglioramenti e le correzioni agli errori identificati.

Uno degli obiettivi di sviluppo è quello di mantenere Ferrocene il più vicino possibile all'upstream (idealmente nessun cambiamento), quindi si propone che i miglioramenti e le correzioni sviluppati da contributori indipendenti vengano inseriti direttamente nel repository principale di ruggine-lang/rust, piuttosto che in il deposito del Ferrocene. Da parte sua, Ferrous Systems si concentrerà sulla fornitura di assemblaggi binari verificati, sull'integrazione nell'SDK dei produttori di apparecchiature, sul lavoro sulla garanzia della qualità e sui test su piattaforme industriali, sull'implementazione del supporto per gli standard DO-178C, ISO 21434 e IEC 62278, nonché sulla promozione capacità rustiche e cambiamenti richiesti nei sistemi mission-critical e nei dispositivi industriali integrati.

A breve è previsto il rilascio di Ferrocene 23.06.0, che sarà la prima versione a essere conforme ai requisiti ISO 26262 (ASIL D) e IEC 61508 (SIL 4). Il rilascio è basato sul toolkit Rust 1.68 ed è nelle fasi finali della produzione, ma non sarà completamente aperto perché include informazioni proprietarie di uno dei partner precedenti. Subito dopo la pubblicazione di Ferrocene 23.06.0, inizieranno i lavori sulla versione 23.06.1, nella quale si prevede di ripulire le inclusioni proprietarie e di pubblicarla come prodotto aperto il mese prossimo. L'ulteriore sviluppo sarà effettuato in forma aperta e tutte le ulteriori versioni saranno pubblicate come open source. In futuro si prevede anche di aprire il codice dell'installer criticalup e sincronizzarne lo sviluppo con il progetto ruggine.

Fonte: opennet.ru

Aggiungi un commento