Loading…
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.

Type: Safety-critical Software clear filter
arrow_back View All Dates
Wednesday, August 27
 

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
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
avatar for Philipp Ahmann

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

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
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
avatar for Alessandro Carminati

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.
avatar for Gabriele Paoloni

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
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
avatar for Imanol Allende

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 →
avatar for Nicholas Mc Guire

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
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
avatar for Paul Albertella

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 →
avatar for Kaspar Matas

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

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
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
avatar for Roberto Bagnara

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
 
  • Filter By Date
  • Filter By Venue
  • Filter By Type
  • Audience Experience Level
  • Timezone

Share Modal

Share this link via

Or copy link

Filter sessions
Apply filters to sessions.
Filtered by Date -