Xen Project's Progress Toward Safety Certification
summary
Xen is undergoing a practical safety push: in nine months it adopts 80% of relevant MISRA C rules into its coding style, drops violations from about 2 million to ~100,000, and adds an MISRA C checker integrated into the GitLab CI to block regressions. Requirements are authored as rst/Markdown and linked with OpenPASS Trace style tags for traceability. A testing infra exists but coverage gaps remain; work on software safety requirements and architecture is ongoing.
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
40mThe Xen Safety Concept, a Major Milestone Toward Certification
44mThe Road to Safety Certification: How the Xen Project is Making Progress within the Auto Industry
32mDeveloping Open Source for Safety and Security
01h 20mSafer C++: MISRA-C++ : 202X Rules and Beyond
32mDeveloping Open Source for Safety and Security
38mZephyr: Learnings From Working on Safety Certification in the Open
45mLooking at Linux as a SEooC
01h 02mHow to deal with static analysis findings: MISRA