Xen Project's Progress Toward Safety Certification
summary
Xen aims for ISO 26262 ASIL D and IEC 61508 SIL 3 certifiability across AMD x86 and ARM, with concrete wins: 80% of relevant MISRA C rules integrated into Xen coding style and the MISRA count falling from ~2,000,000 to ~100,000 violations after 148 commits fixing issues. The pipeline now runs a MISRA C checker in the upstream CI (69 rules clean, 35 under regression monitoring), Dozerless boot and microkernel core (<50k LOC on ARM) reduce safety scope, ~300 requirements are drafted as rst, and OpenPASTrace handles traceability.
AI-written summary · about
chapters (7)
- 0:00Xen safety certification intro
- 1:44Xen for embedded systems
- 6:17Certification project scope
- 9:04MISRA C compliance updates
- 23:57Safety requirements upstreaming
- 36:27Future certification steps
- 38:15Q&A on MISRA & ISO 26262
related talks
30mXen Functional Safety - an Update
35mXen in Safety-Critical Systems
49mSteering Xenomai into the Real-Time Linux Future
53mBridging Safety and Architecture: Zephyr’s Path To IEC 61508 Complian...
32mDeveloping Open Source for Safety and Security
38mBuilding Hard Real-Time Linux Systems with Xenomai
33mNext Generation Xen Architecture for Automotive
48mDeveloping Open-Source Software RTOS with Functional Safety in Mind