Validas — Tool and Library Qualification

69 Episoder

1. Question 07: What is a growing QKit?

   Publisert: 29.12.2020
2. Episode 42: Static Analysis with Daniel Kästner (AbsInt)

   Publisert: 22.12.2020
3. Question 06: Why is it called tool validation?

   Publisert: 14.12.2020
4. Episode 41: Validas’s Generic Safety Plan

   Publisert: 9.12.2020
5. Episode 40: Qualification of Medical Tools

   Publisert: 23.11.2020
6. Question 05: What do we mean by high probability in tool qualification?

   Publisert: 16.11.2020
7. Episode 39: Excel and COVID-19 Tool Safety

   Publisert: 12.11.2020
8. Episode 38: Validas’s Process Modeling Technology — PMT

   Publisert: 2.11.2020
9. Episode 37: Modified Condition/Decision Coverage — MCDC

   Publisert: 19.10.2020
10. Episode 36: Safety Element out of Context — SEooC

    Publisert: 28.9.2020
11. Episode 35: Tool Confidence — Revisited

    Publisert: 21.9.2020
12. Episode 34: Tool Impact

    Publisert: 9.9.2020
13. Episode 33: ISO 26262

    Publisert: 3.8.2020
14. Question 04: Do famous tools need to be qualified?

    Publisert: 27.7.2020
15. Episode 32: Effective Mitigation Strategy

    Publisert: 20.7.2020
16. Episode 31: Safety of C++ Exceptions — Deep Dive with Mapless AI

    Publisert: 23.6.2020
17. Episode 30: Proces Modeling Tool

    Publisert: 8.6.2020
18. Episode 29: Safety Compliance

    Publisert: 22.5.2020
19. Episode 28: ForeC++ — Test Case Generator

    Publisert: 10.5.2020
20. Episode 27: Compiler Qualification

    Publisert: 29.4.2020