Talk by Validas: Tool & Library Qualification for Safe Linux
The eLSA Symposium 2025 will be held on September 25–26 in Göttingen.
We are pleased to announce that Dr. Oscar Slotosch will present a talk on Friday, September 26 at 9:30 AM.
Key points:
the requirements from functional safety standards like IEC 61508, ISO 26262 and DO-330 for tools and libraries compilers
a method and a freely available tool to ensure process compliance with safety standards
the Validas process as an example for a compliant tool qualification process including the test strategies for language compliance and optimizations
experiences from qualifying C/C++ compilers and the C++ STL
example bugs found during compiler qualification
summary and outlook including a roadmap for the qualification of Linux according to IEC 61508 Route 3s