Videos and Webinars

Videos and Webinars

We regularly give webinars and talks at conferences about compiler and library qualification, functional safety and other related topics. On this page, you find an overview of webinars and talks that were recorded, as well as other videos about compiler qualification, library qualification and the use of our products. If you want to stay updated, make sure to subscribe to our YouTube channel.

Webinars

SuperTest User Webinar: From bfloat to long double

In this webinar, we present how to use SuperTest’s powerful depth suites to verify a compiler’s specific data model implementation, and how to simultaneously verify your compiler’s constant propagation optimizations as an additional benefit.

Request to watch this webinar

SuperTest User Webinar: New features of the SuperTest Aelbert Cuyp Release

The SuperTest Aelbert Cuyp 5.0 Release has added 1460 new tests in the C and C++ suites. It covers a variety of new or enhanced features. We will highlight some of these in this short webinar.

Request to watch this webinar

SuperTest User Webinar: SuperTest’s Calling Convention Tester: An essential part of ABI testing

This webinar will demonstrate why SuperTest’s highly configurable Calling Convention Tester is an essential test generator to verify calling conventions within a compiler, verify that there are no ABI-breaking changes between different versions of a compiler, or even verify calling convention consistency between completely different compilers.

Request to watch this webinar

SuperTest User Webinar: Tempest2: a look behind the scenes

The evolution of languages and libraries does not only lead to extensions of our test suite, but also of our tooling. This webinar will highlight the newest item in our arsenal, the Tempest2 test generator.

Request to watch this webinar

CerTran & SuperTest: continuous C/C++ compiler qualification

This webinar will teach you how the integration of CerTran and SuperTest automates the analysis of the compiler’s use case and the compiler validation, as part of your qualification project.

Watch this webinar

SuperTest User Webinar: SuperTest Vermeer Release Update #4

Smart compilers keep us on our toes. That is why we are constantly extending SuperTest. This webinar will highlight a number of great new features in the SuperTest Vermeer Release Update #4. We are going to discuss the technical details and background of this new update.

Request to watch this webinar

SuperTest User Webinar: Getting the most out of your SuperTest configuration

The highly scriptable test driver in SuperTest has many configuration options. In this webinar, we will walk you through the most important options, show you how to script the test driver to run tests on any target platform, and demonstrate multiple methods to speed up your test runs.

Request to watch this webinar

SuperTest User Webinar: A Deep Dive Into the SuperTest Loop Optimizations Test Suite

Every compiler performs optimizations, even if you don’t ask for it. In this webinar we will present the importance of verifying the correctness of optimizations using SuperTest’s Loop Optimization Test Suite.

Request to watch this webinar

Back to Basics: Safe and Secure use of the Standard C Library

No matter what your library of choice is, it is good to understand what is required to verify that the standard library is safe to use. This webinar provided necessary details, tips, and best practices to safely and securely use your standard C Library.

Watch this webinar

How to accelerate ISO 26262 product development and commercialization

In this joint webinar, we introduce the ISO 26262 expectations regarding standard library usage and associated challenges. We demonstrate step-by-step how you can tackle these challenges with the SuperGuard C Library Safety Qualification Suite, which provides you with everything you need to use the C standard library safely.

Watch this webinar

Qualification of Libraries Using Static Analysis and Requirements Based Testing

There are many good reasons to want to use a library. Not only does it save development effort, but a library may actually have a higher quality than what you can create yourself within the constraints of a project. The question is, can you use those libraries safely as well?

Watch this webinar

The Application Hazard Scanner: Safety in Spite of Compiler Defects

Does your application run into a known compiler defect? In this webinar, together with BUGSENG, we talk about a solution. Make sure not to miss it.

Watch this webinar

How to Qualify Standard Libraries in Safety Critical Applications

In this webinar together with VectorCast, we explain how to qualifying the standard C library with code coverage and testing.

Watch this webinar

Safety and Security Critical Software: Start with the End in Mind

In this webinar together with GrammaTech, we explain why you need to make sure your compiler is up to the task. The compiler is the one tool that is responsible for translating all of your source code to application code which will run on your target processor. One error in this translation can have an unpredictable effect on your application.

Watch this webinar

Language Subsetting and Compiler Qualification in the Development of Software for Safety-Critical Systems

In this webinar together with BUGSENG, we explain why language subsetting with MISRA standards and compiler qualification go hand-in-hand during the development of software for safety-critical systems.

Watch this webinar

ISO 26262 Compiler Qualification in Practice

In this webinar together with VectorCast, we will give you an overview of the benefits of compiler qualification and of what is actually involved in the process of compiler qualification according to ISO 26262.

Watch this webinar

Safety Critical Compilers for Cyber Security & Reliable Development

In this webinar together with AFuzion, we will teach you key technical aspects of safety-critical testing related to cyber-security and compilers.

Watch this webinar

How to find and avoid vulnerabilities in Embedded Compilers

In this webinar with VectorCast, we walk through the ISO 26262 standard and discuss how it is applied to compilers. The standard offers four methods for tool qualification but as we will see, not all are suitable for compilers.

Watch this webinar

Videos

Compiler Black-Box Testing and Peculiar Bugs Encountered

Listen to Ahmed Ibrahim, talking about “Compiler Black-Box Testing and Peculiar Bugs Encountered” at emBO++ 2024.

 

Watch this talk

Using a Test Suite based on the Language Specification to Qualify the C and C++ Compiler

Listen to our CTO, Marcel, talking about “Using a Test Suite based on the Language Specification to Qualify the C and C++ Compilers”.

Watch this talk

Interview Electropages at embedded world 2023 – Ensuring Safety Compliance with C and C++ Standards

In this interview, Marcel Beemster explains how our solutions are used in various industries to ensure safety requirements.

Watch this interview

Qualification of the C and C++ Standard Libraries for Safety-critical Applications

Remi van Veen explains the process used to qualify the C and C++ standard libraries for safety-critical applications at the RISC-V Summit.

Watch this talk

C Traceability with Unclear Specifications

In this Embedded Toolbox podcast, Marcel Beemster showcases the difficulties with traceability due to unclear specifications in C.

Watch this podcast

Qualification of the C and C++ standard libraries for safety-critical applications

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.

Watch this talk

SuperGuard: The solution for using C standard libraries in safety-critical applications

In this presentation, Marcel Beemster shows the principles and practice of C standard library qualification at the Embedded System Week 2022.

Watch this talk

Technical Panel Discussion: Standards-Driven Development in an Agile World

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.

Watch this discussion

A Requirements based Test Suite for the C Standard Library: SuperGuard

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. 
Watch this talk

Using C and C++ Compilers and Libraries in Safety-Critical ComponentsHow to Qualify Standard Libraries in Safety Critical Applications

In this keynote at ESSS 2021, we talk about the changes in the safety critical markets regarding software components such as libraries and compilers.

Watch this keynote

Large scale test suites: The standard library is huge

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.

Watch this talk

Testing and qualification of Optimizing Compilers for Functional Safety

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.

Watch this talk

Verifying the safety of optimizing compilers

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.

Watch this talk