HighTec offers automotive grade compilers based on open source technologies LLVM and GCC. For the ASIL-D certification of HighTec products like C/C++ compiler and its libraries, the world leading TÜV certified qualification technology of Validas is used. HighTec offers in close collaboration with Validas, ASIL-D library qualification of standard libraries or customer specific libraries.
Solid Sands, based in Amsterdam, is the leading provider of compiler testing and qualification technology in North-America, Europe and Asia. Their mission is to put quality into C. They do that by improving the quality of C and C++ compilers, libraries and analysis tools, and by enabling their safe and secure use. SuperTest, the best possible compiler test and validation suite, helps Solid Sands’ customers to achieve the compiler quality level required by the ISO language and functional safety standards.
Validas uses SuperTest for building C and C++ compiler qualification kits.
Validas AG cooperates with TÜV-Süd in two areas:
1) TÜV-Süd has qualified the Validas Tool qualification process to be ISO 26262:2018 and IEC 61508 compliant, i.e. if Validas builds a QKit (and successfully performs Verification and Validation) it will be compliant to the standards.
2) Once Validas AG has qualified a tool (using the above certified method), we guarantee that it will be possible and easy for the tool provider to successfully achieve a TÜV-Süd certification for the qualified tool to be applicable up to ASIL D or SIL 4. Validas can offer to guide/support tool providers (with Validas QKits) towards TÜV-Süd certification of the tool.
More information about the Validas Tool Qualification process can be found here.