~/conference

Critical Software Summit @ Open Source Summit Europe 2022

safety-critical software developers, linux kernel developers, automotive software engineers, security engineers, release and update engineers, embedded systems engineers, open source maintainers

adversarial CI/CD pipelines; automated vulnerability checks; policy as versioned code; Renovate and Dependabot automation; NixOS and Yocto fragments; A/B OTA update frameworks; SBOM and CSAF vulnerability triage; STPA-driven system testing; BuildStream deterministic builds; LAVA deployment and test harnesses; kernel address space isolation; MMU coloring and pointer authentication

titleauthorlength
Move Fast Build Things… Safely!Mohammed Aboullaite34m
Compares ten concrete F1 safety practices to software operations and lists actionable equivalents: automated vulnerability checks and adversarial CI/CD…
Talk on
Policy As [Versioned] CodeChris Nesbitt-Smith34m
Claims a practical pattern: store policies in Git, use semantic version tags (examples 1.00, 2.00, 2-1-1), attach release notes and signatures, ship tests and…
Talk on
The Need to Drive Towards Frequent and Sustained Software UpdatesMark Asselstine40m
Claims that cars need 10–15 years support and that European vehicles average 11.8 years on the road drive the argument: kernel CVEs are frequent, many…
Talk on
Understanding the Impact of Critical Vulnerabilities in Critical Infrastructure: A De...Iain Deason33m
Detailed account of techniques and outcomes: nine-month coordination for a flaw hitting 27 RTOSes, an emergency directive after Log4j active exploitation, use…
Talk on
Bad Behaviour: Automating System-level Safety Testing Using Open Source ToolsPaul Albertella25m
Claims that an open source toolchain reproducibly automates system-level safety tests: it uses subplot for scenario-driven tests derived from STPA, buildstream…
Talk on
The Unexpected Demise of Open Source LibrariesLiran Tal46m
Stories of real breakage and fixes: a tiny utility left-pad (11 lines, 2.5M downloads) gets unpublished and breaks thousands of builds; a maintainer publishes…
Talk on
Address Space Isolation for Enhanced Safety of the Linux KernelIgor Stoppa43m
Proposes an opt-in kernel patch that partitions kernel address space into three kernel contexts (safe, core, QM) by renaming linker sections, carving vmlalloc…
Talk on
Enabling Linux in Safety-Critical ApplicationsPhilipp Ahmann, Elana Copperman42m
ELISA defines reusable elements, processes and tools so companies can argue safety for Linux-based systems: a reference system prototype (manual Xen + RT…
Talk on
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.