Safety-Certifying Open Source Software - The Case of the Xen Hypervisor

Explore the challenges and solutions of safety-certifying open source software in this 46-minute conference talk from the Linux Foundation. Delve into the case study of the Xen hypervisor, examining how to reconcile safety certifications like ISO 26262 with established open source development practices. Learn about the role of upstream communities and downstream vendors in achieving compliance, and discover the changes implemented and planned for the Xen Project to align with safety certification requirements. Gain insights into topics such as MISRA, traceability, and testing, while staying updated on the latest developments from the Xen FuSa working group. Understand the importance of safety certification in software where human lives are at risk and how open source projects can adapt to meet these critical standards.