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