Compilers

HighTec offers optimized automotive grade open-source based C/C++ and Rust compiler solutions for applications with high safety requirements in automotive and industrial domains.





C/C++ Compilers & Rust Compilers

The most robust and flexible high-performance compiler solution. Built on the latest technology, driven by industry leaders, and enhanced to meet your safety requirements.

State-of-the-art compiler technology, trusted in millions of applications. Tailored to your specific architecture and qualified to meet today’s highest safety standards.

Empowering embedded systems with Rust brings memory safety, concurrency, and interoperability to the forefront. Reducing your time to market while aligning with your safety objectives from the very beginning.

Qualification

To meet today’s industry requirements for functionally safe systems in safety-critical applications, HighTec offers a comprehensive Compiler Qualification Kit. This kit ensures that the compiler is qualified according to key safety standards, including ISO 26262 (up to ASIL D) and IEC 61508 (up to SIL 3).

Use Case

Contrary to standard Safety Manuals based on fixed default tool settings and non-relevant test suites, HighTec's unique approach provides the user with a tailored set of Safety Documents based on the user's specific and optimized tool settings related to the application that is subject to the certification.


QKIT Process

HighTec's tool qualification methodology is TÜV-certified for ASIL D, meeting the highest safety requirements for automotive software tools. It is based on the Validas Qualification Methodology, a model-based framework that provides a structured approach to tool qualification. Possible tool errors are identified and analyzed systematically using a toolchain error model. To ensure thorough validation, the Test Automation Unit (TAU) integrates standard test suites like SuperTest’s Perennial Validation Suite and DejaGNU, along with a custom-built test database.


Safety Documents

The safety documentation produced during the qualification process serves as evidence that the compiler is qualified for the application's specific use case.

Certified Libraries

As part of safety qualification requirements, C/C++ libraries may need to be certified based on the required safety level. HighTec offers certification for selected library functions to support compliance with safety standards. Further details are available upon request.

ASIL-D Qualification of C/C++ Libraries

ISO 26262 Compliance Made Simple
HighTec supports ASIL-D qualification of C/C++ libraries through TÜV-certified methodologies, ensuring full compliance with ISO 26262 Chapters 8.11 and 8.12.

Tools vs. Libraries – Qualification Differences

Understanding ISO 26262 Requirements

  • Tool Qualification (Chapter 8.11)
    Compilers and development tools must be qualified as defined in ISO 26262-8, using certified methodologies.
    HighTec provides tool qualification via the ASIL-D Qkit using the TÜV-certified Validas AG framework.

  • Library Qualification (Chapter 8.12)
    Software components like C/C++ libraries require separate qualification under ISO 26262.
    Key difference: Library qualification is not identical to tool qualification and must follow specific guidelines.