Functional Safety Certification of Open Source Hypervisors - A Case Study

Explore the process of functional safety certification for open source hypervisors in this 40-minute conference talk by Junjie Mao from the Linux Foundation. Gain insights into the concept of functional safety, its requirements for software, and the certification process. Learn about the ACRNT Hypervisor in safety-critical scenarios and understand the importance of software certification. Discover ACRN's approach to protecting safety functions and the V-Model development model for functional safety. Delve into supporting processes, including configuration and change management approaches. Examine the requirements for hypervisors and how they are approached in this context. This comprehensive presentation provides a valuable case study for those interested in functional safety certification in open source software development.

Intro
What is Functional Safety?
What does Functional Safety Require for Software?
What is Functional Safety Certification?
How do we work with the third party certification body?
What is ACRNT Hypervisor in Safety-Critical Scenarios?
Why Certify Software?
How can ACRN break safety functions (directly)?
Protect Safety Functions: ACRN's approach (cont.)
V-Modelt: the Development Model for Functional Safety
Supporting Processes
Our Configuration Management Approach
Our Change Management Approach
Requirements for a hypervisor: the first thought
Requirements for a hypervisor our approach
Recap