Obrint el codi del compilador Rust de Ferrocene

Ferrous Systems ha anunciat que ha començat a convertir Ferrocene, una distribució propietaria de compiladors Rust per a sistemes de missió crítica, en un projecte de codi obert. El codi de ferrocè es publica sota les llicències Apache 2.0 i MIT. Ferrocene ofereix eines per desenvolupar aplicacions a Rust per a la seguretat de la informació i els sistemes crítics per a la seguretat, la fallada dels quals podria amenaçar la vida humana, danyar el medi ambient o provocar danys greus als equips.

La base és rustc, un compilador estàndard del projecte Rust, portat per satisfer els requisits dels entorns de programari per a sistemes d'automoció i industrials (ISO 26262 i IEC 61508). La fiabilitat del ferrocè es verifica mitjançant l'ús d'extenses tècniques d'inspecció, assaig i gestió de la qualitat. Durant els darrers dos anys, el producte s'ha desenvolupat com a producte propietari, però Ferrous Systems ha retornat al projecte principal les millores i correccions dels errors identificats.

Un dels objectius de desenvolupament és mantenir el Ferrocene el més a prop possible de l'aigua amunt (idealment no hi ha cap canvi), de manera que es proposa que les millores i correccions desenvolupades per col·laboradors independents s'introdueixin directament al dipòsit principal de rust-lang/rust, en lloc de el dipòsit de ferrocè. Per la seva banda, Ferrous Systems se centrarà en proporcionar conjunts binaris verificats, integrar en l'SDK dels fabricants d'equips, treballar en l'assegurament de la qualitat i proves en plataformes industrials, implementar suport als estàndards DO-178C, ISO 21434 i IEC 62278, així com promoure Rustc capacitats i canvis necessaris en sistemes de missió crítica i dispositius industrials integrats.

Està previst que el ferrocè 23.06.0 es publiqui aviat, que serà el primer llançament que compleixi els requisits ISO 26262 (ASIL D) i IEC 61508 (SIL 4). El llançament es basa en el conjunt d'eines Rust 1.68 i es troba en les etapes finals de producció, però no estarà totalment obert perquè inclou informació propietat d'un dels socis anteriors. Immediatament després de la publicació de Ferrocene 23.06.0, es començarà a treballar en la versió 23.06.1, en la qual tenen previst netejar les inclusions de propietat i publicar-la com a producte obert el mes vinent. El desenvolupament posterior es portarà a terme en forma oberta i totes les versions posteriors es publicaran com a codi obert. En el futur també tenen previst obrir el codi de l'instal·lador de criticalup i sincronitzar-ne el desenvolupament amb el projecte rustup.

Font: opennet.ru

Afegeix comentari