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.

Intro
Future of automotive compute
Xen: Open Source Community
Xen Hypervisor Rigorous Quality Process
Safety certifying Xen Hypervisor
Device Sharing Example
Xen Hypervisor safety certification plan
Software safety engineering work estimate
Impact on the Xen Community
Safety/Community Alignment: MISRA C
Safety/Community Alignment: Documentation
Safety/Community Alignment: Testing