OSADL Project: Safety Critical Linux

Safety Working Group

This project aims to create procedures and documents that will lead to a facilitated safety certification of a Linux-based product.

In a first step and according to a proposal of Professor Nicholas Mc Guire, OSADL's Safety Coordinator, OSADL has established a Safety Working Group. If you wish to participate at this group, please send an email to the Safety Coordinator.

Presentations and Documents

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.

• OSADL Safety Critical Linux Working Group
• Linux in Safety-Critical Systems
• Introduction to Safety Terminology
• Introduction to 61508
• Safety Case strategy for COTS
• Xtratum
• Checkpoint