Open Source Summit Europe 2025: Full Schedule

25-27, August 2025
Amsterdam, Netherlands
View More Details & Registration
Note: The schedule is subject to change.

The Sched app allows you to build your schedule but is not a substitute for your event registration. You must be registered for Open Source Summit Europe 2025 to participate in the sessions. If you have not registered but would like to join us, please go to the event registration page to purchase a registration.

This schedule is automatically displayed in Central European Summer Time, CEST (UTC +2). To see the schedule in your preferred timezone, please select from the drop-down menu to the right.

IMPORTANT NOTE: Timing of sessions and room locations are subject to change.

11:00 CEST

BASIL - What's New, What's Next - Luigi Pellecchia, Red Hat

Tuesday August 26, 2025 11:00 - 11:40 CEST

D204

BASIL is an open source tool developed to design requirements traceability in a collaborative environment.

It supports the manipulation of multiple types of work items, such as Test Cases, Test Specifications, Software Requirements, Justifications, Documents.

It also comes with its own test infrastructure that allows users to run tests against different kind of test environments and provides capabilities to trace test executed on external test infrastructures.

BASIL development is progressing and new features become available weeks after weeks.

After an introduction of the tool for who see it for the first time,

we will go through major changes introduced in the tools as:

- SPDX traceability export in design SBOM based on Model3

- Requirements import

- Test repository scan and test case import

- User files management

- Granular user permissions definition

- External email server configuration for password reset

and through planned development as:

- Hierarchical Document Mapping

- Multiple reference document for each software component

- LAVA test plugin

Speakers

Luigi Pellecchia

Principal Software Quality Engineer, Red Hat

Luigi Pellecchia is a Principal Sw Quality Engineer at Red Hat.

Tuesday August 26, 2025 11:00 - 11:40 CEST
D204

Safety-critical Software

Audience Experience Level Any

14:10 CEST

Identifying Safety Weaknesses and Fault Propagation in the Linux Kernel - Igor Stoppa, NVIDIA

Tuesday August 26, 2025 14:10 - 14:50 CEST

D204

Given the growing desire to use the Linux kernel in safety-relevant applications, like automotive, it is necessary to perform analysis and tests which are a staple of Functional Safety, but fairly new to Open Source Processes.

One of these is the injection of failures aimed at identifying data structures that might be particularly relevant from a safety perspective. This includes types of failures that would not lead to an immediate, clean crash, but rather to more subtle system degradation, that might be identifiable only when safety goals are compromised.

The methodology, and design presented constitute a tool that can be used to advance the understanding of what it entails to use Linux in safety applications. It could even be plugged into the regular upstream kernel post-release process, so that whenever a new Linux release is tagged, the tool will provide data related to how the new release behaves, when subject to controlled corruption.

Speakers

Igor Stoppa

Principal SW Safety Architect, NVIDIA

Igor is a SW Safety Architect with NVIDIA, working at improving safety and integrity of the Linux kernel for critical automotive applications.

Tuesday August 26, 2025 14:10 - 14:50 CEST
D204

Safety-critical Software

Audience Experience Level Intermediate

15:05 CEST

From Chaos To Control: Overcoming C++’s Inherent Unsafety - Assaf Tzur-El, Simple. Technology

Tuesday August 26, 2025 15:05 - 15:45 CEST

D204

C++ offers immense power and flexibility, but its legacy of unsafe constructs and unpredictable behavior exposes developers to memory corruption, inconsistencies, and elusive bugs. From raw pointers to the result of a division by zero, C++ enables high performance – at the cost of safety.

This lecture explores these pitfalls and their impact on software reliability, particularly in safety-critical domains like automotive, aerospace, and medical systems. We then focus on solutions, emphasizing modern practices and the MISRA C++ guidelines, an industry standard for safer, maintainable code.

Attendees will gain a deeper understanding of C++'s risks, the role of structured guidelines, and practical strategies to improve code safety without sacrificing performance.

Speakers

Assaf Tzur-El

Freelance consultant, Simple. Technology

Assaf is a veteran software development consultant with 30 years of industry experience, specializing in organizational transformation and developer excellence. Having served across the technical spectrum—from hands-on developer to CTO—he helps development organizations optimize... Read More →

Tuesday August 26, 2025 15:05 - 15:45 CEST
D204

Safety-critical Software

Audience Experience Level Beginner

16:20 CEST

Looking at Linux as a SEooC - Kate Stewart, The Linux Foundation & Nicole Pappler, AlektoMetis

Tuesday August 26, 2025 16:20 - 17:00 CEST

D204

Linux is already being used in Safety Critical applications, mostly as a "Safety Element out of Context". This session provide some background on what this means, and the limitations of this approach. With the velocity of change of the Linux kernel, supporting this mechanism, as well as more detailed approaches is the next frontier for the kernel.

Speakers

Kate Stewart

VP Dependable Embedded Systems, The Linux Foundation

Kate Stewart works with the safety, security and license compliance communities to advance the adoption of best practices into embedded open source projects. Since joining The Linux Foundation, she has launched the ELISA and Zephyr Projects, as well as supporting other embedded projects... Read More →

Nicole Pappler

Senior Safety Expert, AlektoMetis

Nicole has worked in different projects developing safety relevant embedded software before starting as an independent assessor.

Tuesday August 26, 2025 16:20 - 17:00 CEST
D204

Safety-critical Software

Audience Experience Level Any

11:00 CEST

Insights Into the Safe Open Source Vehicle Core Project for SDV - Philipp Ahmann, Etas GmbH (BOSCH)

Wednesday August 27, 2025 11:00 - 11:40 CEST

D204

The Safe Open Vehicle Core (S-Core) project represents a collaborative code-first initiative between automotive OEMs and Tier suppliers developing a safety-certifiable middleware stack for high-performance control units in software-defined vehicles.

Since its foundation, the project has focused on documentation, software and testing heavily leveraging automated CI tooling and a docs-as-code approach that utilizes open-source tools including sphinx-needs, Bazel, and PlantUML. This presentation outlines achievements by 30+ contributors from 8+ companies and highlights currently available components.

S-Core aims for compatibility with POSIX-based OSes like Automotive Grade Linux or Zephyr. Complementary to the ELISA project, it focuses on achieving ISO 26262, ASPICE, and ISO 21434 compliance for upper layers beyond the operating system.

The talk details S-Core's roadmap and current achievements, identifies reusable tools for other projects, explains contribution processes for missing stack components, and provides information on its safety certification approach. It concludes with an outlook towards development plans for remaining 2025 and upcoming 2026.

Speakers

Philipp Ahmann

Automotive OSS Process Lead, Etas GmbH (BOSCH)

Philipp Ahmann is a Senior OSS Community Manager at ETAS (a Bosch subsidiary), specializing in safety-critical automotive open source software. With 15+ years' experience in Linux automotive platforms, he has held roles from software engineer to project & line manager.He currently... Read More →

Wednesday August 27, 2025 11:00 - 11:40 CEST
D204

Safety-critical Software

Audience Experience Level Intermediate

11:55 CEST

AutoSD: A Linux Development and Prototyping Framework for the Automotive Community - Alessandro Carminati & Gabriele Paoloni, Red Hat

Wednesday August 27, 2025 11:55 - 12:35 CEST

D204

In the landscape of automotive software, the need for customizable, reliable, and secure operating systems is a commonly shared need. AutoSD, promoted by the CentOS Automotive Special Interest Group, serves as an upstream distribution for the automotive ecosystem and is also a public preview of the Red Hat's In-Vehicle Operating System.

Built upon CentOS Stream, AutoSD introduces automotive-specific enhancements, including a real-time Linux kernel, OSTree-based immutability, and support for mixed-criticality workloads through containerization. This session provides an introduction to AutoSD, highlighting its architecture, key feature and the contribution/development workflow.

Attendees will learn how to enable new HW SoCs on AutoSD, how to prototype for their specific applications, and the process to propose changes into the AutoSD master branch. The session will also explore how AutoSD can serve as a reference framework for open source communities such as ELISA, Eclipse SDV, and others, fostering collaboration and alignment across the broader automotive software ecosystem.

Speakers

Alessandro Carminati

Principal Software Engineer, Red Hat

As a Linux Kernel Engineer within the RedHat Automotive Team, I specialize in both upstream contributions and downstream efforts, focusing on enhancing Linux kernel functionality for automotive.

Gabriele Paoloni

Sr SW Principal Engineer, Red Hat

Gabriele Paoloni is an Open Source Community Technical Leader at Red Hat.

Wednesday August 27, 2025 11:55 - 12:35 CEST
D204

Safety-critical Software

Audience Experience Level Any

14:10 CEST

Shifting Safety Techniques To a Statistical World - Imanol Allende, Codethink & Nicholas Mc Guire, OpenTech

Wednesday August 27, 2025 14:10 - 14:50 CEST

D204

The current aim of the industry is to develop and deploy highly complex safety-related systems. However, these systems differ significantly from traditional deterministic ones. Modern systems demand high-performance and security while exhibiting inherent non-determinism, challenging conventional safety approaches.

As safety-related systems evolve toward unprecedented complexity, they increasingly exhibit emergent properties that cannot be adequately captured through Descartes' approach of "dividing each difficulty into as many parts as is feasible and necessary to resolve it". This fundamental shift requires a transition from element-by-element analysis to holistic statistical modeling.

Consequently, we believe the future lies in statistical system analysis. Methods like Probabilistic Worst Case Execution Time and Statistical Path Coverage demonstrate how complex systems can be assured through statistical approaches.

This presentation identifies limitations of traditional techniques, explores opportunities offered by statistical approaches with examples, and analyzes requirements for these methods to be effectively applied in the functional safety domain.

Speakers

Imanol Allende

Software Safety Engineer, Codethink

Imanol Allende received his Ph.D. in computer science from the University of Siegen in 2022. Since 2014, he has been involved in various research projects involving safety-related systems based on Open Source software. He collaborated on the SIL2LinuxMP project, and is currently continuing... Read More →

Nicholas Mc Guire

CEO, OpenTech

After working at the Technical University of Vienna, Nicholas moved towards real-time embedded systems, initially maintaining RTLinux/GPL (2001-2005). Thus, safety related systems were an almost natural next step in 2003. Nicholas main topic is system safety since he founded OpenTech... Read More →

Wednesday August 27, 2025 14:10 - 14:50 CEST
D204

Safety-critical Software

Audience Experience Level Any

15:05 CEST

Engineering Trust: Formulating Continuous Compliance for Open Source - Paul Albertella & Kaspar Matas, Codethink

Wednesday August 27, 2025 15:05 - 15:45 CEST

D204

Requirements are broken. High-level requirements are a wish list; stakeholders just make a list of features. Low-level requirements are a narrative; developers just describe what is implemented.

Formal process models see the dynamic nature of FOSS projects as a problem, but this can be a key part of their value. However, because requirements are broken, the intent and expectations that inform the software are often lost in the noise.

The Eclipse Trustable Software Framework (TSF) is a lightweight continuous compliance framework, designed as and for FOSS. It lets you organise and evidence your own objectives, not just those demanded by standards. As an open project, with only git as a prerequisite, it is also workflow-agnostic.

Its unique outcome is an automated, transparent and traceable body of evidence, quantified by a confidence score. This informs project decisions, such as where to focus future efforts, and enables consumers to evaluate their trust in the software.

We provide an overview of the TSF and examples of how it is applied. We then show how the model and methodology can be mapped to functional safety standards, to support certification and ongoing assessment.

Speakers

Paul Albertella

Consultant, Codethink

I'm passionate about software engineering processes and the role that open source software and communities are playing in their evolution. My current focus is on the Trustable Software Framework in relation to safety and the use of Linux and open source tools in the Automotive industry... Read More →

Kaspar Matas

Software Engineer, Codethink

PhD in Computer Science from the University of Manchester researching FPGAs.

Wednesday August 27, 2025 15:05 - 15:45 CEST
D204

Safety-critical Software

Audience Experience Level Intermediate

16:20 CEST

MISRA C and C++ in OSS: Yes, We Can! - Roberto Bagnara, BUGSENG / University of Parma

Wednesday August 27, 2025 16:20 - 17:00 CEST

D204

Building software systems that embody industry best practices for safety and security cannot be done in unrestricted C or C++. While C and C++ have many strong points, their rooting the the C of the 1970's are the origin of their weakness: they have many aspects that are not fully defined, obscure corners that can easily mislead programmers, and C comes without any sort of run-time error detection. As open-source software is being adopted in safety- and security-critical systems, compliance with the relevant industry standards is becoming a priority. The MISRA C and MISRA C++ coding standard define subsets of C and C++ that have been adopted across all industry sectors that develop software in critical contexts. In this tutorial, we introduce MISRA C/C++, their key role in the development of critical systems' software and their relevance to industry safety and security standards. The presentation is specifically designed for open-source practitioners and will leverage our experience in bringing the MISRA coding standards in open-source projects (most prominently, Xen and Zephyr).

Speakers

Roberto Bagnara

Functional Safety Expert / Professor, BUGSENG / University of Parma

Roberto Bagnara is professor of Computer Science at the University of Parma and Software Verification Expert and Evangelist at BUGSENG. He coauthored more than 40 papers, in international journals and conference proceedings, on programming languages, static analysis and other techniques... Read More →

Wednesday August 27, 2025 16:20 - 17:00 CEST
D204

Safety-critical Software

Audience Experience Level Intermediate