Xen in Safety-Critical Systems - Stefano Stabellini, AMD & Bertrand Marquis, Arm
Safety-Certifying Open Source Software: The Case of the Xen Hypervisor - Stefano & Senthil
Xen in Safety Systems: Hardware Domain and Control Domain separation
Ensuring Safety and Security Compliance of Xen in Automotive and Industrial Control Systems
Safety Certifying an Open Source Project: The Example of Xen - Stefano Stabellini & Bertrand Marquis
Xen Functional Safety Certification (an update)
Safety-First: How To Develop C++ Safety-Critical Software - Andreas Weis - CppNow 2023
Xen Hypervisor for “Linux for Safety Applications” in Automotive High-Performance Computing on ARM64
Functional Safety at Xen Project
ELISA Status and Outlook: Advancing Open Source Safety-Critical Systems - Philipp Ahmann
Keynote Session: Xen Safety Certification: Progress So Far... Stefano Stabellini & Bertrand Marquis
SDVoF TechTalk, XEN Hypervisor for Automotive, Real Time and Safety! with Stefano Stabellini,
EPAM Systems: Mixed safety orchestration with AosEdge
Xen Fusa SIG Update & Discussion - Bertrand Marquis, Arm Ltd & Stefano Stabellini, AMD
Using Xen to Enable an Open Source Safety Certifiable Automotive Grade Linux - Walt Miner
The Road to Safety Certification: How the Xen Project is Making Progress within the Auto Industry
BOF: Open Source Projects in Safety Critical Applications - Kate Stewart & Kelly Choi
LIS25 223 Xen Hypervisor Progress on Safety Certifiability
Porting Xen on Cortex-R52 - Ayan Kumar Halder, AMD
ELISA Seminar (Sept. 2023): Xen Safety Certification - Progress & Plans for the Future