AdaCores führende Entwicklungsumgebung ermöglicht die Entwicklung zertifizierbarer Rust-Software für eingebettete Systeme mit höchsten Sicherheitsanforderungen.
AdaCore, vertrauenswürdiger Anbieter von Softwareentwicklungs- und Verifikationstools, gibt heute bekannt, dass GNAT Pro for Rust ab sofort im Early-Access-Programm verfügbar ist. Damit haben Kunden von AdaCore erstmals die Möglichkeit, sicherheits- und zertifizierungsrelevante eingebettete Anwendungen mit Rust zu entwickeln und gleichzeitig von der Stabilität, Sicherheit, Zuverlässigkeit und Unterstützung zu profitieren, die sie von AdaCore erwarten.
Das Interesse an Rust und dessen Verwendung in industriellen Anwendungen wächst. Dennoch stehen sicherheitskritische Bereiche wie Luft- und Raumfahrt, Verteidigung und Automobilindustrie vor erheblichen Hindernissen bei der Einführung von Rust zur Entwicklung zertifizierbarer Software. Zu diesen Hindernissen gehören unter anderem die rasche Weiterentwicklung der Sprache, der zugehörigen Werkzeuge und der Laufzeitumgebung sowie die notwendigen Gewährleistungen für die Software-Lieferkette. Zudem benötigen Entwickler in diesen Bereichen Unterstützung, die den Anforderungen sicherheitskritischer Bereiche gerecht wird, langfristige Unterstützung für ausgewählte Toolchain-Versionen sowie allgemeine Unterstützung für eine breitere Palette von eingebetteten Plattformen.
GNAT Pro for Rust adressiert all diese Hindernisse. Mit GNAT Pro for Rust müssen sich Kunden keine Gedanken über unvorhergesehene Weiterentwicklungen machen. Die Plattform bietet jährliche Aktualisierungen für die Sprache sowie die zugehörigen Werkzeuge, die dem Update-Rhythmus der anderen von GNAT Pro unterstützten Programmiersprachen entsprechen.
GNAT Pro for Rust bietet zudem umfassende Unterstützung für eine Vielzahl eingebetteter Plattformen und erfüllt die spezifischen Anforderungen sicherheitskritischer Anwendungen. GNAT Pro for Rust ist eine industrietaugliche Toolchain, die eine garantierte Integrität der Software-Lieferkette gewährleistet. Die Unterstützung für Rust wird auch über GNAT Pro Assurance angeboten, das durch Sustained Branches langfristige Unterstützung für die gesamte Toolchain bietet, solange diese von Kunden benötigt wird. Darüber hinaus beinhaltet jede GNAT Pro-Subscription den erstklassigen professionellen Support von AdaCore, der Kunden direkt mit den Experten zusammenbringt, die das Produkt entwickeln und pflegen.
Quentin Ochem, Chief Product Officer bei AdaCore, äußerte sich wie folgt: “Unsere Kunden haben den starken Wunsch geäußert, Rust zu nutzen, konnten dies jedoch aufgrund der Einschränkungen bestehender Rust-Toolchains nicht umsetzen. Dies gilt insbesondere im Kontext sicherheitskritischer eingebetteter Software. GNAT Pro for Rust begegnet diesen Bedenken, indem es die entscheidenden Hindernisse für die Verbreitung von Rust ausräumt. Mit GNAT Pro for Rust können unsere Kunden Rust verlässlich nutzen und mit den erforderlichen Werkzeugen erfolgreich voranschreiten.”