HighTec EDV-Systeme und Solid Sands arbeiten bei der Sicherheitsqualifizierung der Rust-Kernbibliothek in Automobilanwendungen zusammen. Diese Partnerschaft bringt HighTecs Compiler-Technik und Tools für Rust und C/C++ mit der Expertise von Solid Sands in der Bibliotheksqualifizierung zusammen.
HighTec bietet eine einheitliche Rust- und C/C++-Toolchain-Lösung aus einer Hand mit Langzeitverfügbarkeit gemäß den Anforderungen der Automobilindustrie. Als Pionier in der Bereitstellung von ISO 26262 ASIL D qualifizierten Multi-Architektur Rust und C/C++ Compiler Lösungen, gewährleistet HighTec nahtlose Integration und Sicherheitskonformität. Solid Sands, Anbieter von Verifikations- und Qualifizierungstechnologien für C- und C++-Compiler und -Bibliotheken, steuert seine bewährten Methoden und Testsuiten für die strenge Softwareverifikation bei.
Die Sicherheitsqualifikation der Rust-Kernbibliothek baut sowohl auf bestehenden als auch auf neuen Tests auf und ergänzt die Rückverfolgbarkeit von Anforderungen und die vollständige Codeabdeckung. Rückverfolgbarkeit ist für sicherheitskritische Rust-Anwendungen unerlässlich. Sie wird in die SuperGuard Library Safety Qualification Suite von Solid Sands integriert und in enger Zusammenarbeit mit Automotive-Kunden entwickelt. Dieser Ansatz gewährleistet die Einhaltung der realen Anforderungen der Automobilindustrie und entwickelt sich gleichzeitig mit den Anforderungen der Branche weiter. (jr)
