09:30

Welcome and short introduction

10:00

Tool & Library Qualification for Safe Linux

Dr. Oscar Slotosch - Validas AG

10:30

Code, Compliance, and Confusion: Open Source in Safety-Critical Products 

Philipp Ahmann - Etas GmbH (a Robert Bosch GmbH subsidiary)

11:00

Coffee break

11:30

Turning Open-Source Code into Safety-Grade Software via CI-Ready Static Analysis

Roberto Bagnara, Ph. D. - BUGSENG and University of Parma

12:00

Multicore Processors in Avionics: Implementation, Certification, and Use Case

Matthias Lehmann - University of Stuttgart

12:30

What if Google Test Didn't Exist? A study of the economic, strategic, and technical value of FOSS

Fadi Labib - OpenTier GmbH

13:00

Lunch

14:00

Fliewatüüt meets AI: Can We Trust AI Tools in Safety-Critical Development?

Andreas Gasch • Elena-Flavia Povirnaru - CARIAD SE

14:30

Integrating Safety and Security: Automated Assurance Case Development for Safety-Critical Systems Using SMARAGD

Roman Trentinaglia - Fraunhofer IEM, Institute for Mechatronic Systems Design 

15:00

Linux for safety-related applications - Making it possible to build safe and secure systems with Linux

Federico Arrighetti • Simone Weiß - Elektrobit Automotive GmbH

15:30

Coffee break

16:00

Towards Open-Source Mixed-Criticality Systems - A Conceptual Framework Unifying Safety and Security 

Benedikt Spranger - Linutronix GmbH

16:30

From Complexity to Clarity: Understanding your Software Product Health

Jan-Niclas Strüwer - Fraunhofer IEM, Institute for Mechatronic Systems Design 

17:00

Test your Binary not your Code: The Heisenberg Principle Meets Software Testing

Wolfgang Gehrhardt - emlix GmbH

17:30

End of the official part

18:30

Get Together

09:30

Welcome

10:00

Using Open Source Compilers in Safety Critical Projects

Dr. Marcel Beemster - Solid Sands B.V.

10:30

OSS in Safety-Critical Systems: From Doubt to Dependability? — Insights from Eclipse iceoryx

Michael Pöhnl - ekxide IO GmbH

11:00

Coffee break

11:30

Bringing Functional Safety to the SBOM: An introduction to the SPDX Safety Profile

Nicole Pappler - AlektoMetis

12:00

An STPA-based Approach to the Elicitation of Verifiable Safety Requirements for General-Purpose Safety Elements out of Context

Jan Toennemann - Vector Informatik GmbH and University of Stuttgart

12:30

The increasing relevance of open source software for the digital sovereignty of the European Union and Germany - and what does it mean for the development of embedded systems

Heike Jordan • Dr. Uwe Kracke - emlix GmbH

13:00

Lunch

14:00

Guided Tour

The university and its mathematicians