Critical Software Summit @ Open Source Summit Europe 2024
2024-09-16..2024-09-18
Vienna, Austria
[Critical Software Summit @ Open Source Summit Europe 2022, Critical Software Summit @ Open Source Summit Europe 2024]
[Critical Software Summit @ Open Source Summit North America 2023, Safety-Critical Software Summit @ Embedded Open Source Summit 2024, Critical Software Summit @ Open Source Summit North America 2022, Critical Software Summit @ Open Source Summit Japan 2022, Critical Software Summit @ Open Source Summit Japan 2023, SupplyChainSecurityCon @ Open Source Summit Europe 2024]
who it's for
safety engineers, embedded systems developers, kernel developers, open source maintainers, compliance engineers, release engineers, software architects
topics
SPDX 3.1 safety profile; safety SBOM creation; traceability as knowledge graph; git maintenance with Q-learning; sustaining git performance; BASIL code-centric traceability; test execution via TMT; reproducible Linux reference systems; Delta Kernel change-impact analysis; retrofitting MISRA compliance; ks-nav binary kernel analysis
| title | author | length |
|---|---|---|
| Application of the Upcoming SPDX Safety Profile | Nicole Pappler | 26m |
Proposes using the upcoming SPDX 3.1 Safety Profile to model and automate traceability across requirements, design, tests and build artifacts so Excel lists go… | ||
| Sustaining Git Performance Under Heavy Workloads | Daniele Sassoli | 34m |
Deploys an AI agent using Q-learning to decide lightweight repo maintenance (bitmap regeneration, repack refs, remove keep files, selective geometric repacks)… | ||
| Traceability and Automation Examples With Basil | Luigi Pellecchia, Gabriele Paoloni | 01h 01m |
Demonstrates BASIL as a code‑centric quality management system that maps requirements to source code and upstream test cases, stores versioned mappings… | ||
| Hidden in Plain Sight: Corner Case Defects | Robert Altnoeder | 34m |
Four production bugs: a pair of power-of-two helpers loop forever for inputs > 2^62 and return 1 for input 0 breaking the floor/ceiling contract; a number… | ||
| Cross Industry Demands and Collaboration Opportunities | Phillip Ahmann, Olivier Charrier | 41m |
Elisa builds reproducible Linux-based reference systems, ties kernel analysis (KSN and workload tracing) to a CI that builds images for a Kinki Hardware 102… | ||
| Bringing Existing Open-Source Code into MISRA Compliance | Roberto Bagnara | 52m |
Retrofitting MISRA to large open‑source codebases (Xen, Zephyr) proves feasible but costly: toolable tailoring of rule 10.1 and rule 16.3 plus targeted macros… | ||
| Enhancing Kernel Functional Safety Analysis with KS-nav | Alessandro Carminati, Gabriele Paoloni | 31m |
ks-nav performs binary-level analysis of Linux kernel images using radare2 and debug info, stores cross references in a relational DB and renders four diagram… | ||
| nothing matches | ||