Xen Functional Safety - an Update
summary
Xen is undergoing a stepwise safety effort: MISRA C adoption yields over 80 accepted rules, 400 commits from a partner fixing violations, and unjustified violations reduced to ~90,000; an ekler C scanner gates clean rules. The project targets IEC 61508 and ISO 26262 on AMD x86 and arm64, maintains full requirements traceability from 400+ requirements down to L3 software safety requirements, drafts software architecture specs, implements 160 tests and 120 test cases, and adds hardware testing and fault‑injection.
AI-written summary · about
chapters (13)
- 0:00Introduction and presenters
- 1:04What is functional safety
- 2:31Safety certification project overview
- 4:20Why Xen is ideal for certification
- 6:06MISRA compliance progress
- 7:56Defining requirements hierarchy
- 12:49Software safety requirements details
- 14:16Organizing requirements by functionality
- 16:23Software architecture specifications
- 17:50Test case development and validation
- 18:32Testing methodologies and tools
- 20:20Community involvement and upstreaming
- 21:46Q&A session
related talks
50mXen Project's Progress Toward Safety Certification
35mXen in Safety-Critical Systems
53mBridging Safety and Architecture: Zephyr’s Path To IEC 61508 Complian...
48mDeveloping Open-Source Software RTOS with Functional Safety in Mind
42mZephyr Functional Safety BOF
49mSteering Xenomai into the Real-Time Linux Future
32mDeveloping Open Source for Safety and Security
48mDeveloping Open-Source Software RTOS with Functional Safety in Mind