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 (https://www.validas.de/services/qualification/#pmt) 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

Even if currently many parts (tests, documents) are closed source, the qualification method is published and the used process modeling tool is freely available.

Despite the stories that I like tell in my talks, the main takeaways are: tools & libraries have to be qualified for a safe system and Linux can be qualified as a pre-existing component by following a Route 3 compliant process, based on the specification work which is currently done in Elisa WG.

Short Bio:

Dr. Oscar Slotosch, CEO of Validas AG, the only company worldwide specialized on tool and library qualification, Studied computer science and achieved phd in formal methods at Technical University of Munich, Host of the podcast "Tool and Library Qualification", passionate author of many code and document generators

Thursday, September 25, 10 AM