Amsterdam, The Netherlands – 6 December 2022 – Solid Sands, the world-leading provider of testing and qualification technology for compilers and libraries, will share its knowledge of how to qualify C and C++ standard libraries for safety-critical applications at the RISC-V Summit in San Jose, California, 13-14 December 2022.
The aim of the summit is to bring together the RISC-V community – including the technical, industry, domain and special interest groups who define the architecture’s specifications – to share technological breakthroughs and attend conference speeches and tutorials. Solid Sands will use its presence at the show, where it has bronze status sponsorship, to announce that it will be joining the RISC-V community as a Strategic Member.
As well as having a tabletop booth (T6), Solid Sands will have its Qualification Lead Engineer Remi van Veen deliver a presentation on ‘Qualification of the C and C++ Standard Libraries for Safety-critical Applications’. Taking place at 12.05pm on 13 December, the presentation 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.
In the presentation, Remi will also share what Solid Sands has learned from creating SuperGuard, the world’s first requirements-based test suite for the C standard library. Solid Sands applies this knowledge while 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. Offering high structural code and branch coverage out of the box, the suite provides 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.