Papers, Presentations and Videos relevant to Safety Certification

Xen Specific

• Summary Table Comparing Different Hypervisors (March 2018)
• Xen and the Art of Certification - Nathan Studer, DornerWorks, 2014: video, slides

Industry Wide

• The AGL software defined connected car architecture, April 2018: whitepaper
• TSC Sponsored BoF: Can Linux and Automotive Functional Safety Mix ? Take 2: Towards an open source, industry acceptable high assurance OS, Robin Randhawa, 2017: slides