Tech.AD 2022 - Qualification of the C and C++ standard libraries for safety-critical applications

Software developers of safety critical components have to make sure that any functions that are used from a library are as reliable as their own code.
To achieve such reliable code you need a requirement-based test suite with requirements that are extracted from the standard library specification.

We will explain how we created such a suite and the process used to qualify the C and C++ standard libraries for safety-critical applications using the ISO 26262 automotive Functional Safety standard.

Take-away points:
- Library code is as much a part of the application as self-written code, and should be as thoroughly verified
- Standard C/C++ library qualification is quite doable if you have a requirements-based test suite
- The standard library specification is not a list of requirements
- The key to qualification is to create the traceability between specification and test result

_______________________________________________________________________
Useful Links