Safety Certifying an Open Source Project: The Example of Xen Hypervisor

Explore the challenges and solutions of safety certifying open source projects through the example of the Xen hypervisor in this 45-minute Linux Foundation conference talk. Delve into the process of aligning community activities with safety certification requirements, including changes to upstream processes adopted by the Xen community over the past year. Gain insights into the future plans for safety certification, updates from the Xen FuSa working group on MISRA C, traceability, and testing. Learn about the importance of safety standards in software development where human lives are at risk, and discover how to reconcile safety certifications with established open source practices. Examine the micro-kernel design of Xen, its application in embedded and automotive virtualization, and the feasibility of certifying its code base. Understand the impact of safety certification on the Xen community and explore topics such as device sharing, software safety engineering work estimates, and the alignment of safety requirements with community practices in documentation and testing.