SPS Smart Production Solutions 2024
OSADL talk at electronica 2024
COOL - Compact OSADL Online Lectures - November 2024 edition
OSADL talks at ESE Embedded Software Engineering Kongress
COOL - Compact OSADL Online Lectures - December 2024 edition
COOL - Compact OSADL Online Lectures - January 2025 edition
OSADL Project: Safety Critical Linux
Recent events
Embedded World 2011: FLOSS for Safety-Related Systems
- Linux goes safety and takes it to the next level by Carsten Emde
- Validation of Linux for Safety-Related Systems by Christoph Stückjürgen
- Linux as a real-time Hypervisor for the automotive industry by Andreas Platschek
- Efficient Safety Critical Systems Development - Is FLOSS the only answer? by Michaël Friess and Cyrille Comar
- "Open Proof" for Railway Safety Software: A Potential Way-Out of Vendor Lock-in Advancing to Standardization, Transparency, and Software Security by Klaus-Rüdiger Hase
- Finding Misuses of Unsigned Integers in Linux Device Driver Code by Martin Rathgeber, Christoph Zengler and Wolfgang Küchlin
- Improved Redundancy and Consistency beyond RAID 1 by Roland Kammerer and Benedikt Huber
- Utilizing security methods of FLOSS GPOS for safety by Nicholas Mc Guire
Earlier events
The presentations and other documents given below that relate to using Open Source software in safety critical systems have been presented at earlier events.
Presentations 2011
Linux goes safety and takes it to the next level
by Carsten Emde, Open Source Automation Development Lab (OSADL) eG
Validation of Linux for Safety-Related Systems
by Christoph Stückjürgen, SIEMENS AG
Linux as a real-time Hypervisor for the automotive industry
by Andreas Platschek, OpenTech, Austria
Efficient Safety Critical Systems Development - Is FLOSS the only answer?
by Michaël Friess and Cyrille Comar
Finding Misuses of Unsigned Integers in Linux Device Driver Code
by Martin Rathgeber, Christoph Zengler and Wolfgang Küchlin, University Tübingen
Improved Redundancy and Consistency beyond RAID 1
by Roland Kammerer and Benedikt Huber, TU Vienna
Utilizing security methods of FLOSS GPOS for safety
by Nicholas Mc Guire, University Lanzhou/OpenTech
Earlier presentations
OSADL Safety Critical Linux Working Group
by Nicholas Mc Guire, Distributed & Embedded Systems Lab, Lanzhou, China
Linux in Safety-Critical Systems
by Baurzhan Ismagulov, Siemens Building Technologies, Presentation at the Embedded World Conference 2008 in Nuremberg, Germany, on February 28, 2008
Introduction to Safety Terminology
by Nicholas Mc Guire, Distributed & Embedded Systems Lab, Lanzhou, China
Introduction to 61508
by Nicholas Mc Guire, Distributed & Embedded Systems Lab, Lanzhou, China
Safety Case strategy for COTS
by Nicholas Mc Guire, Distributed & Embedded Systems Lab, Lanzhou, China
Xtratum - Real Time Nanokernel for Linux
by Nicholas Mc Guire, Distributed & Embedded Systems Lab, Lanzhou, China
FieldTrac 6393 CheckPoint – Solution for automatic train supervision
by Roland Stadlbauer, Thales Rail Signaling Solutions
