AdaCore nia ambiente dezenvolvimentu lidera permite dezenvolvimentu software embedded Rust certifiable alta-integridade
AdaCore, fornese validadór no ferramenta dezenvolvimentu no verifikasaun software, anunsia hosi nia pesuasasaun wainhira disponivel ba publiku GNAT Pro ba Rust. Ba primeira vez, subscriptór GNAT Pro nia AdaCore nian bele dezenvolve aplikasaun embedded seguransa no sertifikavel uza Rust ho benefisiu estabilidade, seguransa, dependabilidade no apoiu husi kliente sira hanesan ne’ebe mosu ona hosi AdaCore.
Interese no uzu ba Rust aumenta iha aplikasaun industriál. Maibé, merkadu seguransa no sertifikavel, hanesan aeroespásiu, defeza, no otomotivu, enfrenta obstákulu signifikante ne’ebe evita adopta ba Rust ba dezenvolvimentu software ne’ebe bele sertifikafika. Estes barreira kritiku inklui evolusaun rapidu ba lingua Rust nian, sira nian ferramenta asosiadu, no ambiente runtime nian, no mos presiza garante komersial ba kadeia fornese software nian. Liuliu, dezenvolvedór sira iha área ida ne’e presiza suporta grau industrial ne’ebe haluha ba nesesidade industria seguransa no sertifikavel nian ba lingua Rust no sira nia ferramenta, suporta longu prazu ba versoes selecionadu ba ferramenta nian, no mos suporta jeral ba rai embedded ne’ebe diversu.
GNAT Pro ba Rust responde ba kada barreira ne’e iha primeira. Ho GNAT Pro ba Rust, kliente sira la presiza preokupa ho evolusaun laos previstu ba lingua. Plataforma ne’e oferese atualizasaun ba lingua programasaun Rust no sira nia ferramenta asosiadu tinan neen ho atualizasaun ba linguas seluk ne’ebe suportadu husi GNAT Pro.
GNAT Pro ba Rust mos oferese suporta extensivu ba rai embedded sira ne’ebe diversu tanba nesesidade espesífiku aplikasaun seguransa no sertifikavel nian. GNAT Pro ba Rust hanesan ferramenta industriál, fornese ho garantia ba integridade kadeia fornese software nian. Suporta ba Rust mos oferese liu husi GNAT Pro Assurance, ne’ebe fornese suporta longu prazu liu husi branch sustentadu ba ferramenta kompletu to’o kliente sira presiza. Ida ne’ebe sei liu husi asinatura GNAT Pro, mos hanesan suporta profisional ne’ebe di’ak liu husi AdaCore, koneta kliente sira direktamente ho espertu sira ne’ebe dezenvolve no manutén produtu.
Quentin Ochem, Hosi AdaCore, hateten, “Kliente sira hamosu intensaun boot atu uza Rust maibé la konsege hanesan tanba limitasaun ida ba ferramenta Rust seluk ne’ebe iha ona. Ne’e maka verdade liu husi software embedded seguransa no sertifikavel sira. GNAT Pro ba Rust responde ba preokupasaun ida idak ne’ebe halakon adopta ba Rust. Ho GNAT Pro ba Rust, kliente sira bele abraça Rust ho konfiansa no prossegue, ho ferramenta ne’ebe presiza ba suksesu.”
