Safety-Critical Software Summit @ Embedded Open Source Summit 2023
2023-06-27..2023-06-30
-- online --
[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]
as the organisers put it
As open source is found more and more in safety-critical applications, the need to evaluate open source software that meets safety standards has increased. This event, sponsored by ELISA…
who it's for
safety engineers, embedded developers, linux kernel engineers, system integrators, firmware engineers, security engineers, aerospace engineers
topics
Xen safety certification; MISRA C compliance; static analysis in CI; STPA-based risk analysis; fault injection testing; secure boot with SUIT manifests; remote firmware update rollback; Preempt-RT latency testing; Yocto-based space distribution; workload tracing and call-tree visualization; SBOM generation in CI
| title | author | length |
|---|---|---|
| Safety Certifying an Open Source Project: The Example of Xen | Stefano Stabellini, Bertrand Marquis | 45m |
Xen moves from informal upstream development to a certified-ready product by mapping open-source processes to safety requirements, targeting ISO 26262 and IEC… | ||
| Coding Guidelines – to Comply or Not Comply – Some Myth Busting | Nicole Pappler, Philipp Ahmann | 44m |
Argues that coding guidelines bring measurable safety and review-time benefits but must be applied with common sense, not blindly: static tools like cppcheck… | ||
| RAFIA – A Roadmap for Certifying Open Source for Use in Safety-Relevant Systems | Paul Sherwood | 46m |
RAFIA lays out a concrete pathway to get open source into safety systems: Risk Analysis (STPA) reduced to a single actionable level, automated CI/CD tests… | ||
| wolfBoot: Open Source Secure Boot and Remote Firmware Updates in Safety-critical.. | Daniele Lacamera | 42m |
An open source secure bootloader implements RFC 9019-style SUIT manifests, uses wolfCrypt (FIPS 140-2 and DO-178C DAL‑A certified crypto) and ships host tools… | ||
| RT Linux in Safety-Critical Systems: The Potential and the Challenges | Elana Copperman, Shuah Khan | 40m |
Shows how Real Time Linux (mainline + Preempt RT) behaves under real workloads by running cyclic and deadline tests (one-hour runs, sometimes with six… | ||
| Using Linux as an Embedded OS for the Space Industry | Pierre Ficheux | 32m |
CNES-led project produces a Yocto-based distribution delivered June 2022 and demonstrates Linux running in Xen partition with an initramfs image on Raspberry… | ||
| ELISA Status and Outlook: Advancing Open Source Safety-Critical Systems | Philipp Ahmann | 39m |
ELISA presents concrete artifacts to help certify Linux-based systems: workload tracing and call-tree visualization run on kernel level, static code checks and… | ||
| Debating Linux in Aerospace: Objections and Paths Forward | Steven H. VanderLeest, Peter Brink | 27m |
Argues that using Linux requires concrete artifacts: demonstrate compliance with DO-178C (and DO-330–DO-333) for Aviation, map requirements to code for Design… | ||
| nothing matches | ||