BOF: Open Source Projects in Safety Critical Applications
summary
Three open source tracks show concrete progress toward safety certification: Zephyr targets strictdoc requirements tracing and a V-model workflow to certify its kernel to IEC 61508 SIL3 (with ISO 26262 as an option), keeping most evidence public while members fund certification; Xen documents ports (RISC‑V, PowerPC), adopts MISRA rules, supports real‑time scheduling and a Dom0‑less parallel boot that speeds embedded startup; the ELISA effort builds system‑level analysis using Yocto reproducible builds, SPDX SBOMs and continuous CI on AGL/Renesas boards to link requirements, tests and binaries.
AI-written summary · about
chapters (11)
- 0:00BOF session intro
- 1:02Open source safety projects
- 3:09Zephyr safety certification
- 7:28Xen project mission
- 16:43Xen architecture & safety
- 17:03Alisa Linux certification
- 26:26Q&A hypervisor selection
- 29:19MISRA compliance discussion
- 31:26Bootloader security questions
- 33:35Maturity levels in safety
- 38:32Automating verification
related talks
32mDeveloping Open Source for Safety and Security
45mSafety Certifying an Open Source Project: The Example of Xen
05mKeynote: Evolution of Open Source for Safe Usage in Critical Systems- 05mKeynote: Evolution of Open Source for Safe Usage in Critical Systems
46mSafety-Certifying Open Source Software: The Case of the Xen Hypervisor
34mOpen Source in Safety Critical Applications: the Next Frontier
48mThe ELISA Project – Enabling Open Source in Safety-Critical Applications
39mELISA Status and Outlook: Advancing Open Source Safety-Critical Systems