Validas — Tool and Library Qualification

69 Episodes

1. Question 07: What is a growing QKit?

   Published: 29/12/2020
2. Episode 42: Static Analysis with Daniel Kästner (AbsInt)

   Published: 22/12/2020
3. Question 06: Why is it called tool validation?

   Published: 14/12/2020
4. Episode 41: Validas’s Generic Safety Plan

   Published: 9/12/2020
5. Episode 40: Qualification of Medical Tools

   Published: 23/11/2020
6. Question 05: What do we mean by high probability in tool qualification?

   Published: 16/11/2020
7. Episode 39: Excel and COVID-19 Tool Safety

   Published: 12/11/2020
8. Episode 38: Validas’s Process Modeling Technology — PMT

   Published: 2/11/2020
9. Episode 37: Modified Condition/Decision Coverage — MCDC

   Published: 19/10/2020
10. Episode 36: Safety Element out of Context — SEooC

    Published: 28/09/2020
11. Episode 35: Tool Confidence — Revisited

    Published: 21/09/2020
12. Episode 34: Tool Impact

    Published: 9/09/2020
13. Episode 33: ISO 26262

    Published: 3/08/2020
14. Question 04: Do famous tools need to be qualified?

    Published: 27/07/2020
15. Episode 32: Effective Mitigation Strategy

    Published: 20/07/2020
16. Episode 31: Safety of C++ Exceptions — Deep Dive with Mapless AI

    Published: 23/06/2020
17. Episode 30: Proces Modeling Tool

    Published: 8/06/2020
18. Episode 29: Safety Compliance

    Published: 22/05/2020
19. Episode 28: ForeC++ — Test Case Generator

    Published: 10/05/2020
20. Episode 27: Compiler Qualification

    Published: 29/04/2020