Software-definierte Fahrzeuge HighTec stellt ASIL D qualifizierten Rust-Compiler für Aurix-Mikrocontroller vor

HighTec EDV-Systeme hat einen ISO 26262 ASIL D qualifizierten Rust-Compiler für die Aurix-Mikrocontroller von Infineon präsentiert. Rust gilt als speichersichere Programmiersprache, die Sicherheitsrisiken minimiert, Entwicklungszyklen verkürzt und Kosten senkt.

Bei sich schnell entwickelnden Software-definierten Fahrzeugen (Software-Defined Vehicles, SDVs) stellen sich große Herausforderungen in Hinblick auf Sicherheit, Komplexität und Kosteneffizienz. Sichere und effiziente Software-Lösungen sind hier unabdingbar. Hier kommt Rust ins Spiel, denn speichersichere Programmiersprache hat einen großen Vorteil im Vergleich zu herkömmlichen Sprachen. Sie reduziert Sicherheitsrisiken, verkürzt Entwicklungszyklen und senkt Kosten.

Präventive Funktion

Den Herausforderungen bei der Entwicklung von Software-definierten Fahrzeugen begegnet Rust mit der Überprüfung der Speichersicherheit zur Kompilierzeit. Diese Checks dienen als Schutz gegen häufige Schwachstellen in Systemen, die in C/C++ geschrieben wurden, wie Pufferüberläufe und Zeigerarithmetik. Die Kompilierzeit-Speicherprüfungen von Rust haben eine präventive Funktion und reduzieren den Aufwand für ausführliche Laufzeittests und Debugging ganz erheblich. Das vereinfacht nicht nur den Entwicklungsprozess, sondern senkt auch den Kostenaufwand für die Gewährleistung der Sicherheit von SDVs. Rust beseitigt bis zu 70 Prozent der schwerwiegenden Sicherheitsprobleme.

Ganzheitliche Werkzeugkette

HighTecs Schritt für eine Qualifizierung seines Rust-Compilers, die über die Sprachkonformität hinausgeht, ist eine wichtige Ergänzung zu seinem C/C++-Compiler für Aurix-Mikrocontroller von Infineon, der ebenfalls gemäß nach ISO 26262 ASIL D qualifiziert ist. Beide Compiler basieren auf der Open-Source-Technologie LLVM. Diese ganzheitliche Toolchain-Lösung ermöglicht die nahtlose Integration von neu entwickeltem Rust-Code mit bereits bestehendem C/C++-Code oder einen hybriden Entwicklungsansatz. So lassen sich beispielsweise zusätzliche sicherheitskritische Funktionen neu in Rust schreiben und in ihr Gesamtsystem integrieren.

Neue Vorschriften einhalten

Das zunehmende Interesse an Rust für Infineon Aurix TC3x und TC4x bei Automobilherstellern, Zulieferern und Anbietern von Automotive-Software lässt sich auch darauf zurückführen, dass sich mit dieser Sprache neue Vorschriften wie ISO 21434 und UNECE leichter einhalten lassen. Aurix-Mikrocontroller sind bekannt für ihre robusten Sicherheits- und Verkapselungsfunktionen und erweisen sich als ideale Mikrocontroller für Rust.

TÜV-zertifiziertes Qualifizierungs-Kit

Die neue V1.0 des Aurix-Rust-Compilers ist nach ISO 26262 ASIL D qualifiziert. HighTec erleichtert den Prozess der Safety-Qualifizierung durch ein TÜV-zertifiziertes Qualifizierungs-Kit, das Flexibilität für verschiedene Anwendungsfälle gewährleistet. Der Compiler wurde mit Blick auf Rust-Programmierer entwickelt und wird mit einem vorkonfigurierten Cargo-Build-System geliefert, das nahtlosen Zugang zu einem breiten Rust-Software-Ökosystem bietet. Dazu gehören I/O-Crates, Treiber, eine Rust-Laufzeitumgebung, Beispiele und eine Rust-Integration von PXROS-HR, dem Echtzeitbetriebssystem von HighTec.  (se)

Vorschau

Automotive-Highlights auf der Embedded World 2024

Safety und Security

Infineon und Green Hills Software kooperieren beim Software-definierten Fahrzeug

(ID:49989945)