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 webinarVideos
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