Unsere Partner

HighTec

HighTec

HighTec bietet für die Automobilindustrie klassifizierte Compiler an, die auf den Open Source-Technologien LLVM und GCC basieren. Für die ASIL-D-Zertifizierung von HighTec-Produkten wie dem C/C++-Compiler und seinen Bibliotheken wird die weltweit führende, TÜV-zertifizierte Qualifikationstechnologie von Validas verwendet. HighTec bietet in enger Zusammenarbeit mit der Validas ASIL-D-Bibliotheksqualifizierung von Standardbibliotheken oder kundenspezifischen Bibliotheken an.

Solid Sands

SolidSands

Solid Sands mit Sitz in Amsterdam ist der führende Anbieter von Test- und Qualifizierungstechnologien für Compiler in Nordamerika, Europa und Asien. Ihre Mission ist es, Qualität in C hineinzubringen. Hierzu verbessert Solid Sands die Qualität von C- und C++-Compilern, -Bibliotheken und Analysewerkzeugen und ermöglicht deren sichere Verwendung. SuperTest, die bestmögliche Compiler-Test- und Validierungs-Suite, hilft den Kunden von Solid Sands, die von den ISO-Sprachstandards und funktionalen Sicherheitsstandards geforderte Compiler-Qualitätsstufe zu erreichen.

Validas verwendet SuperTest für die Erstellung von C- und C++-Compiler-Qualifizierungskits.