~/talk

The Xen Safety Concept, a Major Milestone Toward Certification

Talkat Open Source Summit North America 2025 · 2025-06-23..06-25· [security]
slides:none on file

Xen achieves a concrete milestone: Safety Concept Approval (Q4 2024) from third‑party assessors, committing to ISO 26262 and IEC 61508 certification paths. Work items include making Xen MISRA C compliant (99% MISRA upstream), adding cache‑coloring for hard real‑time, open GitLab CI with physical runners (11 AMD‑hosted plus community runners) for validation, and protocol changes like vertio with grants plus non‑blocking PCI ops; plan is to upstream code and artifacts and execute the remaining verification to reach full certification.

AI-written summary · about

  1. 0:00Xen and safety certification
  2. 2:24Xen architecture and device model
  3. 7:04Static partitioning for real-time
  4. 11:47Complex IVI systems sharing devices
  5. 12:30Safety certification overview
  6. 17:49Splitting DOM0 domains
  7. 22:47VM-to-VM mixed criticality
  8. 26:46VirtIO in safety challenges
  9. 30:37Status and collaboration
  10. 34:31Summary and future
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.