QUALIFICATION OF C++ STANDARD TEMPLATE LIBRARY FUNCTIONS FOR ASIL D

Unlock the Power of C++ Templates for safety relevant software!

C++ templates are a powerful feature of the C++ programming language that allow the easy development of reusable components. The Standard Template Library (STL) is standardized along with the C++ language and can be uniformly applied across numerous applications. However, like any other library, its functions must be qualified for use in safety-critical systems.

By having certified processes see here Validas guarantees success (=certified library, see here)

Evidence

C++ templates are a powerful feature of the C++ programming language that allow the easy development of reusable components. However, like any other aspect of software development, templates must be used correctly to ensure the reliability and safety of the software they are a part of, especially in safety-critical systems.

Highlights of the C++ standard template qualification performed are:

  • Qualification is performed by Validas experts using the developer target hardware and configurations
  • All required safety documents (including process report, compliance report, test requirements and specifications, library qualification report and safety manual) are created by Validas experts
  • Over 700 functions have been successfully qualified by Validas and certified by TÜV Süd for ISO 26262 compliance up to ASIL D. The certificate can be found here.
  • Includes all required helper functions including 100% analyzed MCDC code coverage of them
  • Compliance with ISO 26262 Software requirements:
    • 8-12: Software Component Qualification
    • 8-9: Verification
    • 6-9: Software Unit Verification
    • 6-Objectives, 8-Objectives
  • Contains a “Scope Checker” to ensure that all used functions are qualified
  • Many safety relevant findings described in the safety library safety manual
  • Usage dependent pricing model (number of used functions)
  • Simple re-qualification in case of (scope) changes due to a high degree of automation by creating a qualification kit

More information will be available soon in our podcast episodes about the product and the used process.

The steps towards your certified C++ STL are:

  1. Meet with Validas to align on use case (target, compiler, versions). Here is a link to select your C++ appointment.
  2. Receive the Library Analysis Tool (LAT)
  3. Analyze library usage
  4. Submit the usage data to Validas
  5. Validas creates an offer with prices for
    1. Fixed qualification fee
    2. Variable fee for number of used available functions “in stock”
    3. Variable fee for creation of new functions
    4. Optional fee for the certificate
  6. Receive an offer for the qualification
  7. Accept the offer
  8. Grant access to the target environment

The remaining steps are done by Validas. Note: the creation of the qualification offer (and all required steps) are free of charge for you.

Steps

Summary

You want more information?

Dr. Oscar Slotosch
Tel +49 (89) 5388669-11
E-Mail