Skip to main content
Validas — Tool and Library Qualification

Validas — Tool and Library Qualification

By Oscar Slotosch

As experts in the creation of safe software systems, in this podcast we answer all the questions about tool and library qualification. Each episode guides you through a crucial topic via discussions, interpretations, and examples given by safety professionals in Validas and beyond, and there’s something for everyone — from specialists to beginners!

Our podcast spans the gap between the basic safety standards and new safety products on the market; we’ve created it for you, so contact us at podcast@validas.de with comments, questions, or suggestions of topics you’d like to learn about.
Available on
Apple Podcasts Logo
Google Podcasts Logo
Overcast Logo
PodBean Logo
RadioPublic Logo
Spotify Logo
Currently playing episode

Episode 36: Safety Element out of Context — SEooC

Validas — Tool and Library QualificationSep 28, 2020

00:00
23:56
S2, E17: Time profiling in library qualification
Jun 15, 202328:44
S2, E16: Function based library qualification
Dec 05, 202219:56
S2, E15: interview with Florian Grigoleit founder of Modelwise
Oct 07, 202218:11
S2,14: Tool Confidence Models to ensure the safety of tool chains
Jun 23, 202229:26
S2, E13: AUTOSAR Overview and Safety Aspects
Feb 21, 202229:58
S2,12: Process Models

S2,12: Process Models

This episode is a follow up of episode 38, where we will learn from Dr. Oscar Slotosch even more details about Validas' Process models  and Process modeling tool (PMT), and why is this tool essential in the Validas' qualification processes!

We can be reached through podcast@validas.de and all information about Validas and our podcast can be found on our website respectively at validas.de and podcast.

Dec 20, 202125:34
S2, 11: Coloring scheme in TCA
Oct 29, 202118:02
S2, 10: Traceability in Tool Qualification
Sep 13, 202123:20
S2, 9: Findings in Tools&Libraries Qualification
Aug 05, 202122:34
S2, 8: English for Safety Experts
Jul 14, 202124:18
S2, 7 : IBM Engineering Qkit
May 31, 202119:35
S2, 6: Tool Qualification in IEC 61508
May 05, 202126:31
S2, 5: Safety Conferences
Mar 22, 202120:24
S2, 4: Avoidance of tool qualification

S2, 4: Avoidance of tool qualification

How  and when the amount of work required to qualify our tools can be significatively reduced?  If you want to learn about this, tune in and discover the tips and tricks of Dr. Oscar Slotosch to make our life easier in qualifying and not-qualifying our tools! We can be reached through podcast@validas.de and all information about Validas and our podcast can be found on our website respectively at validas.de and podcast.

Mar 09, 202123:13
S2, 3: DO-330
Feb 22, 202123:24
S2, 2: Known Bugs
Feb 09, 202123:45
S2, 1: Configurable Report Generator
Jan 25, 202131:40
Episode 43: TCA-SW — Tool Chain Analyzer for Software
Jan 04, 202123:45
Question 07: What is a growing QKit?
Dec 29, 202008:29
Episode 42: Static Analysis with Daniel Kästner (AbsInt)

Episode 42: Static Analysis with Daniel Kästner (AbsInt)

In this episode Dr. Oscar Slotosch is joined by Dr. Daniel Kästner, co-founder of AbsInt and accomplished expert on safety-critical embedded systems, for a discussion of the applications of static analysis to safety-critical software and the advanced development tools offered by AbsInt. Tune in to learn about the static code analyzer for C and C++ that can prove the absence of runtime errors and invalid concurrent behavior (Astrée) and AbsInt’s formally verified production compiler (CompCert), as well as their process of development and real-world applications.

Additional information about AbsInt can be found at absint.com.
To hear Oscar’s discussion with Marcel Beemster, join us in Episode 20: SuperTest with Marcel Beemster (Solid Sands), and to learn more about C++ exceptions for safety-critical projects, listen in to Episode 31: Safety of C++ Exceptions — Deep Dive with Mapless AI.

Your producer and friendly representative of the audience in this episode has been Ivana Kurecic.

We can be reached through podcast@validas.de and all information about Validas can be found on our website, validas.de.

Dec 22, 202035:33
Question 06: Why is it called tool validation?
Dec 14, 202007:40
Episode 41: Validas’s Generic Safety Plan
Dec 09, 202028:02
Episode 40: Qualification of Medical Tools

Episode 40: Qualification of Medical Tools

In the development of modern medical procedures and devices, and especially those that directly affect a person’s health, the safety of software tools needs to be paramount. In this episode Dr. Oscar Slotosch shares his insights into the topic of qualification for medical devices, including the current requirements and processes defined by safety standards and governmental agencies, as well as the future developments we can expect in the field of medical tools.

A short summary of the discussed safety standards for the medical field can be found here (in German), and an example of the tool qualification programs supported by the FDA can be accessed on this webpage.

For a salient example of the importance of tool qualification for medical applications, listen to our previous discussion in Episode 39: Excel and COVID-19 Tool Safety, and if you would like to learn about how qualified tools can improve your projects, join us in Episode 21: How to Save Money by Tool Qualification.

Your producer and friendly representative of the audience in this episode has been Ivana Kurecic.

We can be reached through podcast@validas.de and all information about Validas can be found on our website, validas.de.

Nov 23, 202019:54
Question 05: What do we mean by high probability in tool qualification?
Nov 16, 202008:25
Episode 39: Excel and COVID-19 Tool Safety
Nov 12, 202014:38
Episode 38: Validas’s Process Modeling Technology — PMT
Nov 02, 202041:09
Episode 37: Modified Condition/Decision Coverage — MCDC
Oct 19, 202024:33
Episode 36: Safety Element out of Context — SEooC
Sep 28, 202023:56
Episode 35: Tool Confidence — Revisited

Episode 35: Tool Confidence — Revisited

In this episode Dr. Oscar Slotosch revisits the topic of tool confidence, clears misunderstandings, and explains the details of how tool confidence level (TCL) should be taken from the ISO 26262 safety standard into practice.

For more information on TCL, listen to our discussions in Episode 07: Tool Confidence Level and Episode 19: Confidence, to learn about the crucial modeling tool used at Validas, join us in Episode 11: Tool Chain Analyzer, and for an in-depth explanation of validation, tune in to Episode 20: SuperTest with Marcel Beemster (Solid Sands) or watch Oscar’s recent talk titled Safety Plan for the Linux Validation Kit.
If you would like to learn more about the ISO 26262 safety standard, join us in one of our older episodes, Episode 33: ISO 26262 and Question 01: Did ISO 26262 abolish tool qualification in its second edition?

Your producer and friendly representative of the audience in this episode has been Ivana Kurecic.

We can be reached through podcast@validas.de and all information about Validas can be found on our website, validas.de.

Sep 21, 202020:09
Episode 34: Tool Impact
Sep 09, 202019:27
Episode 33: ISO 26262
Aug 03, 202031:05
Question 04: Do famous tools need to be qualified?
Jul 27, 202004:34
Episode 32: Effective Mitigation Strategy
Jul 20, 202022:05
Episode 31: Safety of C++ Exceptions — Deep Dive with Mapless AI
Jun 23, 202032:05
Episode 30: Proces Modeling Tool
Jun 08, 202028:17
Episode 29: Safety Compliance

Episode 29: Safety Compliance

In this week’s episode Dr. Oscar Slotosch discusses the details of safety compliance and its role in safety-relevant software projects. Join us to learn what safety standards require in terms of compliance, what is meant by safety integrity, why compliance reports should always be included your projects, and what procedure Validas uses to ensure compliance — efficiently and reliably.

Join us in Episode 30, where we talk about the Validas Process Modeling Tool (PMT) and its role in safety compliance argumentation, learn about effective mitigation strategies in Episode 32, or brush up on the basics by listening to our Episode 04: Qualification Processes and Episode 06: Safety Standards.

Your producer and friendly representative of the audience in this episode has been Ivana Kurecic.

We can be reached through podcast@validas.de and all information about Validas can be found on our website, validas.de.

May 22, 202024:13
Episode 28: ForeC++ — Test Case Generator
May 10, 202031:00
Episode 27: Compiler Qualification

Episode 27: Compiler Qualification

After a crucial introduction to the role of code coverage in qualification, in our Episode 26, Dr. Oscar Slotosch gives an in-depth analysis of the methods, procedures, and pitfalls in the qualification of compilers. Join us to learn which properties of compilers make them so difficult to qualify, why source code coverage doesn’t provide a sufficient argument for qualification, where it is likely to find flows in existing test strategies for compiler qualification — and how Validas approaches these complex problems.

To hear Oscar’s conversation with Marcel Beemster about compiler qualification strategies, listen to Episode 20: SuperTest with Marcel Beemster (Solid Sands), for a refresher on qualification test strategies, join us in our Episode 12: Qualification Test Strategies, and to check out the Arm functional safety C library Oscar mentioned as a great example of a qualified library within a qualified compiler, click here.

If you are wondering whether non-deterministic compilers can also be qualified, we have answered that question for you in one of our short episodes: Question 02: Can a non-deterministic compiler be qualified?

Your producer and friendly representative of the audience in this episode has been Ivana Kurecic.

We can be reached through podcast@validas.de and all information about Validas can be found on our website, validas.de.

Apr 29, 202032:45
Episode 26: Code Coverage in Qualification

Episode 26: Code Coverage in Qualification

In this episode Dr. Oscar Slotosch discusses the role of code coverage in the qualification of tools and libraries. Tune in to learn about how code coverage is applied in a safety analysis, the importance of the modified condition/decision coverage (MCDC) criterion in software testing, and why code coverage analysis is strongly recommended, but almost never required by modern safety standards.

To learn more about MCDC, listen to our Episode 37: Modified Condition/Decision Coverage, and for more information on the applications of code coverage in qualification, join us in our next episode, Episode 27: Compiler Qualification, where we showcase an in-depth analysis of the methods, procedures, and pitfalls in the qualification of compilers.

Your producer and friendly representative of the audience in this episode has been Ivana Kurecic.

We can be reached through podcast@validas.de and all information about Validas can be found on our website, validas.de.

Apr 20, 202025:11
Episode 25: Qualification Kit — QKit
Apr 13, 202022:50
Episode 24: Tool Chain Modeling with Robert Reitmeier
Mar 09, 202026:27
Episode 23: Tool Chains
Feb 26, 202022:02
Episode 22: Validas — a Conversation between Dr. Oscar Slotosch and Dr. Peter Braun
Feb 13, 202036:06
Episode 21: How to Save Money by Tool Qualification
Jan 28, 202017:55
Episode 20: SuperTest with Marcel Beemster (Solid Sands)

Episode 20: SuperTest with Marcel Beemster (Solid Sands)

In this episode, Dr. Oscar Slotosch sat down for a conversation with Marcel Beemster, the CTO of Solid Sands— the one-stop-shop for C and C++ compiler and library testing, validation, and safety services. They discuss all the things that can go wrong with a compiler, where the biggest challenges in compiler use come from, and how Marcel and his team use the Solid Sands’ SuperTest validation suite. Tune in to learn about compiler development and testing from Oscar and Marcel.

More information on Solid Sands and SuperTest can be found on https://solidsands.com/supertest.

To hear more detail on some of the topics discussed in this episode, join us in Episode 42: Static Analysis with Daniel Kästner (AbsInt), and for an in-depth look at the qualification strategies for compilers and the use of code coverage in qualification argumentation, listen to two of our newer episodes: Episode 26: Code Coverage in Qualification and Episode 27: Compiler Qualification. If you would like to learn more about how validation is defined in the ISO 26262 safety standard, join us in our short question episode, Question 06: Why is it called tool validation?

Your producer and friendly representative of the audience in this episode has been Ivana Kurecic.

We can be reached through podcast@validas.de and all information about Validas can be found on our website, validas.de.

Jan 15, 202024:52
Episode 19: Confidence
Nov 11, 201918:21
Question 03: How can we detect whether we are using a qualified tool?
Nov 04, 201903:29
Episode 18: Tool Safety Manual
Oct 28, 201921:56
Question 02: Can a non-deterministic compiler be qualified?
Oct 21, 201907:40
Question 01: Did ISO 26262 abolish tool qualification in its second edition?
Oct 07, 201906:09