Watch our educational videos and recorded webinars on compiler validation and library testing.
Marcel Beemster explains how we created a requirement-based test 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.
In this presentation, Marcel Beemster shows the principles and practice of C standard library qualification at the Embedded System Week 2022.
Our CTO, Marcel Beemster joined the panel to talk about ‘Standards-Driven Development in an Agile World’ at the virtual Embedded Safety & Security Summit 2022.
In this talk at the RISC-V Summit, we talk about SuperGuard, a requirement-based test suite for the C standard library, with traceability from individual test results to the requirements derived from the ISO C language specification.
In this keynote at ESSS 2021, we talk about the changes in the safety critical markets regarding software components such as libraries and compilers.
In this talk we will show our approach to build a test suite with full coverage of all the functions in most sections of the C++ Library.
During this talk at the LLVM European Developer’s Meeting, we discuss the requirements of ISO 26262 on tools such as LLVM compilers and how they can be met with a testing procedure that works well with the V-Model of engineering.
During this talk at the LLVM Social Meetup in Bangalore, we show how we have developed a technique that achieves good results with optimization testing and demonstrate optimization errors in some well-known compilers.
Home / Knowledge / Categories / Video / Page 3