European developer of testing and qualification technology for compilers and libraries Solid Sands is to join RISC-V International as a Strategic Member to boost the use of its tools with the open instruction set architecture.
Qualification Lead Engineer Remi van Veen is presenting on the ‘Qualification of the C and C++ Standard Libraries for Safety-critical Applications’ at the RISC-V Summit in San Jose, California next week. He will outline how the qualification process is based on the ISO 26262 automotive functional safety standard and can be used for the qualification of in-house, third-party and open-source libraries.
- European deal to boost embedded code quality
- Solid Sands, Sysgo extend safety-critical deal
- C Library qualification tool eases safety-critical approvals
Solid Sands developed SuperGuard, the world’s first requirements-based test suite for the C standard library and building a requirements-based test suite for the C++ standard library.
SuperGuard was developed because there were insufficient professional tools available for library qualification for safety-critical applications. This provides high structural code and branch coverage out of the box, with full traceability from individual test results back to requirements derived from the ISO C language specification, ensuring safe use of the standard library in safety-critical applications such as automotive and rail.
The SuperGuard suite can be used to qualify unmodified third-party C library implementations as well as self-developed or self-maintained implementations.