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)
Xen Hypervisor for “Linux for Safety Applications” in Automotive High-Performance Computing on ARM64
Dom0less and Deterministic: Building Safer Automotive Systems With Xen - Cody Zuschlag
Functional Safety at Xen Project
Keynote Session: Xen Safety Certification: Progress So Far... Stefano Stabellini & Bertrand Marquis
ELISA Status and Outlook: Advancing Open Source Safety-Critical Systems - Philipp Ahmann
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
Porting Xen on Cortex-R52 - Ayan Kumar Halder, AMD
LIS25 223 Xen Hypervisor Progress on Safety Certifiability
ELISA Seminar (Sept. 2023): Xen Safety Certification - Progress & Plans for the Future
EPAM Systems: Mixed safety orchestration with AosEdge
SDVoF TechTalk, XEN Hypervisor for Automotive, Real Time and Safety! with Stefano Stabellini,
Virtio across Xen domains in mixed-architecture SoCs
Keynote Session: Functional Safety and Open Source: Building Bridges - Kate Stewart
LVC21-102 Functional Safety for FOSS Xen Project journey
Flight-Grade Xen: Overcoming DO-178C Challenges to Achieve Airborne Readiness