TÜV SÜD stellt das erste jemals erteilte Zertifikat für einen nach ISO 26262 qualifizierten Rust-Compiler aus.
New York, NY, November 8th, 2023 - AdaCore, vertrauenswürdiger Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen, gab heute bekannt, dass der TÜV SÜD erstmals ein Zertifikat für einen qualifizierten Rust-Compiler ausgestellt hat, der für die Entwicklung von Softwareanwendungen geeignet ist, die die höchste ISO 26262 Zertifizierungsstufe, ASIL D, anstreben. Diese Qualifizierung wurde im Rahmen einer Partnerschaft erreicht, die Anfang des Jahres abgeschlossen wurde und zu der AdaCore maßgeblich beigetragen hat.
AdaCore hat umfangreiche Erfahrungen mit der Qualifizierung von Toolchains für den Einsatz in Zertifizierungskontexten: die Qualifizierung des Rust-Compilers markiert die 17. erfolgreich abgeschlossene Toolchain-Qualifizierung des Unternehmens. Die Qualifizierung eines Compilers auf diesem Niveau erfordert umfangreiche unterstützende Dokumentation. AdaCores langjährige Erfahrung mit Qualifizierung und Zertifizierung ermöglichte es uns, den Qualifizierungszyklus zu verkürzen, indem von Anfang an ein geeigneter Prozess verfolgt wurde.
„Diese Qualifizierung des Rust-Compilers markiert den Höhepunkt von über zwei Jahren Anstrengung“, sagte Hristian Kirtchev, Technischer Leiter von GNAT Pro for Rust bei AdaCore. „Dieser Rust-Compiler basiert auf Version 1.68 von rustc, dem von der Community upstream entwickelten Rust-Compiler. Um diese Qualifizierung zu erreichen, identifizierten wir zunächst ein unterstütztes Subset von Rust, entwickelten dann eine strikte Spezifikation dieser Sprachfunktionen, führten Upstream-Tests auf die Spezifikation zurück und entwickelten notwendige zusätzliche Tests. Schließlich führten wir unter Verwendung der vom Endanwender ausgewählten Compiler-Schalter formale Tests des Compilers für die Zielplattform des Endanwenders durch. Das Ergebnis ist ein Höchstmaß an Vertrauen, dass der Compiler für die zertifizierbaren Anwendungen des Endanwenders korrekten Code generieren wird.“
AdaCore wird auf den erfolgreichen Abschluss dieses Qualifizierungsprojekts aufbauen, um GNAT Pro for Rust für zertifizierbare sicherheitskritische Anwendungen zu positionieren.
„Die Verwendung einer Programmiersprache im Zertifizierungskontext erfordert drei Dinge: eine qualifizierte Toolchain, zertifizierte Laufzeitbibliotheken und qualifizierte Support-Tools“, sagte Tony Aiello, Produktmanager für GNAT Pro for Rust bei AdaCore. „Die Qualifizierung der Toolchain ist der erste Schritt, um die Zertifizierungsanforderungen der Kunden abzudecken. GNAT Pro for Rust wird den Kunden eine komplette Lösung für den zertifizierbaren Einsatz von Rust bieten.“
AdaCore geht davon aus, dass Kunden zukünftig umfangreiche Sprachfunktionen von Rust nutzen wollen, von denen viele die Unterstützung durch Rusts Laufzeitbibliotheken benötigen. Darüber hinaus erfordern Zertifizierungsstandards viele zusätzliche Aktivitäten, wie z.B. Codeabdeckung und Nachweis der Einhaltung von Code-Standards, die qualifizierte Werkzeuge benötigen, um sie in großem Maßstab durchzuführen.
GNAT Pro for Rust baut auf den Erkenntnissen aus dieser Compiler-Qualifizierung auf, um Kunden eine komplette Toolchain anzubieten, die qualifiziert und mit zertifizierten Laufzeitbibliotheken und qualifizierten Support-Tools geliefert werden kann.
Kontaktieren Sie uns noch heute, um herauszufinden, wie GNAT Pro for Rust Ihnen helfen kann!