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 and using SuperTest. If you want to stay updated, make sure to subscribe to our YouTube channel

Webinars

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

How to install and run SuperTest

This video shows how to install the Solid Sands SuperTest compiler test and validation suite in less than three minutes and then do a first validation-run within two more minutes.

Watch this video

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 presentation

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