Zephyr Functional Safety BOF
summary
Scope limits certification to the kernel plus a few inseparable pieces, and the project claims a IEC 61508 SIL 3 target with an ISO 26262 ASIL D option through a contracted assessor. Work products include a safety manual, written safety claims and requirements in a public requirements repo, CI‑integrated static analyzers and MISRA‑based coding guidelines, and a toolchain stance: current GCC 12 SDK with GCC14/LLVM branch coming, plus a toolchain working group, biweekly calls and a safety working group on GitHub.
AI-written summary · about
chapters (21)
- 0:00Zephyr Safety BOF intro
- 1:04Safety certification scope
- 3:14Safety element out of context
- 4:37Compliance process progress
- 6:24Safety working group setup
- 7:30Coding standards & static analysis
- 8:12Certification status & next steps
- 9:36Q&A
- 10:18Compiler & MCDC concerns
- 15:13Scope clarity & extensions
- 16:40Sustainability & maintainers
- 20:13Kernel impact on apps
- 21:58Coverage for simple app
- 26:13Tools qualification limits
- 27:14User space integration
- 29:43User space & mixed criticality
- 32:35Automotive tool alignment
- 34:21Compiler qualification
- 37:14Call for contributions
- 38:59Integrator needs & timeline
- 40:46Community involvement
related talks
37mTools and Methodologies to Test Compliance with IEC61508 Standard
20mSafety Processes
32mBoF: Quality and Testing Processes for Zephyr + Discussion
40m9 Years in the Making, the Story of Zephyr, Starting with Commit Nr. 1
41mIs Linux Kernel Development Good Enough to Make Your Life Depend on It?
40mHow I Fell in Love with Zephyr – a System Architect’s Tale
01h 05mBoF: Unlocking Software Defined Power Electronics with Zephyr: Concepts...
40mNVIDIA's Approach for Achieving ASIL B Qualified Linux