Avataan Ferrocen Rust-kääntäjäkoodi

Ferrous Systems on ilmoittanut, että se on aloittanut Ferrocenen, patentoidun Rust-kääntäjän jakelun kriittisille järjestelmille, muuntamisen avoimen lähdekoodin projektiksi. Ferrocen koodi on julkaistu Apache 2.0- ja MIT-lisenssien alla. Ferrocene tarjoaa työkaluja sovellusten kehittämiseen Rustissa tietoturvaan ja turvallisuuden kannalta kriittisiin järjestelmiin, joiden epäonnistuminen voi uhata ihmishenkiä, vahingoittaa ympäristöä tai johtaa vakaviin laitevaurioihin.

Perustana on Rust-projektin standardikääntäjä rustc, joka on tuotu vastaamaan auto- ja teollisuusjärjestelmien ohjelmistoympäristöjen vaatimuksia (ISO 26262 ja IEC 61508). Ferrocenin luotettavuus varmistetaan laajalla tarkastus-, testaus- ja laadunhallintatekniikoilla. Viimeiset kaksi vuotta tuotetta on kehitetty omaksi tuotteeksi, mutta Ferrous Systems on palauttanut pääprojektiin parannukset ja korjaukset havaittuihin virheisiin.

Yksi kehitystavoitteista on pitää Ferroceen mahdollisimman lähellä ylävirtaa (mieluiten ilman muutoksia), joten riippumattomien osallistujien kehittämiä parannuksia ja korjauksia ehdotetaan työnnettäväksi suoraan rust-lang/rust -varastoon sen sijaan, että ferroseenivarasto. Ferrous Systems puolestaan ​​keskittyy varmennettujen binäärikokoonpanojen tarjoamiseen, laitevalmistajien SDK:hon integrointiin, laadunvarmistukseen ja teollisuusalustojen testaukseen, DO-178C-, ISO 21434- ja IEC 62278 -standardien tuen käyttöönottoon sekä edistämiseen. rustc-ominaisuudet ja muutokset, joita tarvitaan kriittisissä järjestelmissä ja sulautetuissa teollisuuslaitteissa.

Ferroseeni 23.06.0 on tarkoitus julkaista pian, ja se on ensimmäinen julkaisu, joka täyttää ISO 26262 (ASIL D) ja IEC 61508 (SIL 4) vaatimukset. Julkaisu perustuu Rust 1.68 -työkalupakettiin ja on tuotannon loppuvaiheessa, mutta se ei ole täysin auki, koska se sisältää omistusoikeudellisia tietoja joltakin aikaisemmista yhteistyökumppaneista. Heti Ferrocene 23.06.0:n julkaisun jälkeen aletaan työstää versiota 23.06.1, jossa aiotaan puhdistaa omat osat ja julkaista se avoimena tuotteena ensi kuussa. Jatkokehitys toteutetaan avoimessa muodossa ja kaikki muut julkaisut julkaistaan ​​avoimena lähdekoodina. Jatkossa he aikovat myös avata kriittisen up-asennusohjelman koodin ja synkronoida sen kehityksen rustup-projektin kanssa.

Lähde: opennet.ru

Lisää kommentti