Safety-Critical Software Summit @ Embedded Open Source Summit 2024
2024-04-16..2024-04-18
Seattle, United States
[Safety-Critical Software Summit @ Embedded Open Source Summit 2023, Safety-Critical Software Summit @ Embedded Open Source Summit 2024]
[Critical Software Summit @ Open Source Summit North America 2023, Critical Software Summit @ Open Source Summit Europe 2022, Critical Software Summit @ Open Source Summit North America 2022, Critical Software Summit @ Open Source Summit Japan 2023, Critical Software Summit @ Open Source Summit Europe 2024, Open Source Summit + Embedded Linux Conference 2021]
who it's for
embedded software engineers, automotive software engineers, Linux maintainers, safety engineers, quality assurance engineers, tooling and CI engineers, open source project maintainers, systems architects
topics
ISO 26262 ASIL D certification; IEC 61508 SIL 3 mapping; MISRA C compliance and checks; upstream CI for safety checks; DO-178C MC/DC coverage measurement; llvm-cov kernel coverage work; requirements traceability tooling; reproducible build pipelines; open source quality management (BASIL); SPDX metadata export and use
| title | author | length |
|---|---|---|
| Xen Project's Progress Toward Safety Certification | Stefano Stabellini | 50m |
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… | ||
| The Limits of Safety Engineering and the Cinderblock Problem | Chuck Wolber | 35m |
Argues that safety engineering has hard limits: it proves positive requirements through hazard assessment, design mitigation and implementation assurance but… | ||
| The ELISA Project – Enabling Open Source in Safety-Critical Applications | Philipp Ahmann | 48m |
ELISA coordinates enablement for Linux and other open source stacks in safety contexts, working with Xen, Zephyr, Yocto and SPDX and running a CI-driven… | ||
| Measuring Code Coverage of the Linux Kernel in Accordance with RTCA DO-178C... | Andrew Oppelt | 31m |
Boeing is adapting open source LLVM coverage tooling to meet DO-178C requirements and selects llvm-cov with University of Illinois support to measure the Linux… | ||
| BASIL an Open Source Software for Quality Management | Luigi Pellecchia, Gabriele Paoloni | 39m |
BASIL is an open source software quality management system that connects code and specs to requirements, test specs and test cases, detects mapping breakage… | ||
| Aligning Automotive Standards with Open Source Excellence | Dylan Dawson | 36m |
Electrobit presents a practical path to qualify Linux for automotive: a QM Linux distro (about 70% feature reduction) running in three qualified VMs on the… | ||
| nothing matches | ||