You are here: Home / Projects / Safety Critical Linux / 
2017-06-28 - 10:49

Dates and Events:

Breaking News:

2016-11-12 12:00

Raspberry Pi and real-time Linux

Let's have a look at the OSADL QA Farm data


2016-09-17 12:00

Preemption latency of real-time Linux systems

How to measure it – and how to fix it, if it's too high?


2014-11-18 00:00

Linux real-time: New stable release available -

but next one depends on more support from industrial users



OSADL Projects

OSADL Project: Safety Critical Linux

Presentations 2011

Linux goes safety and takes it to the next level by Carsten Emde, Open Source Automation Development Lab (OSADL) eG

Linux goes safety and takes it to the next level

by Carsten Emde, Open Source Automation Development Lab (OSADL) eG

Web presentation - Download PDF

Validation of Linux for Safety-Related Systems by Christoph Stückjürgen, SIEMENS AG

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

Linux as a real-time Hypervisor for the automotive industry

by Andreas Platschek, OpenTech, Austria

Web presentation - Download PDF

Efficient Safety Critical Systems Development - Is FLOSS the only answer? by Michaël Friess and Cyrille Comar

Efficient Safety Critical Systems Development - Is FLOSS the only answer?

by Michaël Friess and Cyrille Comar

Web presentation - Download PDF

Finding Misuses of Unsigned Integers in Linux Device Driver Code by Martin Rathgeber, Christoph Zengler and Wolfgang Küchlin, University Tübingen

Finding Misuses of Unsigned Integers in Linux Device Driver Code

by Martin Rathgeber, Christoph Zengler and Wolfgang Küchlin, University Tübingen

Web presentation - Download PDF

Improved Redundancy and Consistency beyond RAID 1 by Roland Kammerer and Benedikt Huber, TU Vienna

Improved Redundancy and Consistency beyond RAID 1

by Roland Kammerer and Benedikt Huber, TU Vienna

Web presentation - Download PDF

Utilizing security methods of FLOSS GPOS for safety by Nicholas Mc Guire, University Lanzhou/OpenTech

Utilizing security methods of FLOSS GPOS for safety

by Nicholas Mc Guire, University Lanzhou/OpenTech

Web presentation - Download PDF

Earlier presentations

OSADL Safety Critical Linux Working Group by Nicholas Mc Guire, Distributed & Embedded Systems Lab, Lanzhou, China

OSADL Safety Critical Linux Working Group

by Nicholas Mc Guire, Distributed & Embedded Systems Lab, Lanzhou, China

Web presentation - Download PDF

Linux in Safety-Critical Systems by Baurzhan Ismagulov, Siemens Building Technologies

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

Web presentation - Download PDF

Introduction to Safety Terminology by Nicholas Mc Guire, Distributed & Embedded Systems Lab, Lanzhou, China

Introduction to Safety Terminology

by Nicholas Mc Guire, Distributed & Embedded Systems Lab, Lanzhou, China

Web presentation - Download PDF

Introduction to 61508 by Nicholas Mc Guire

Introduction to 61508

by Nicholas Mc Guire, Distributed & Embedded Systems Lab, Lanzhou, China

Web presentation - Download PDF - Paper (PDF)

Safety Case strategy for COTS by Nicholas Mc Guire

Safety Case strategy for COTS

by Nicholas Mc Guire, Distributed & Embedded Systems Lab, Lanzhou, China

Web presentation - Download PDF

Xtratum - Real Time Nanokernel for Linux by Nicholas Mc Guire

Xtratum - Real Time Nanokernel for Linux

by Nicholas Mc Guire, Distributed & Embedded Systems Lab, Lanzhou, China

Web presentation - Download PDF

FieldTrac 6393 CheckPoint – Solution for automatic train supervision by Roland Stadlbauer, Thales Rail Signaling Solutions

FieldTrac 6393 CheckPoint – Solution for automatic train supervision

by Roland Stadlbauer, Thales Rail Signaling Solutions

Web presentation - Download PDF