You are here: Home / Technical Services / Safety Critical Linux / Presentations and Documents /

2026-04-10 - 15:40

Dates and Events:

COOL - Compact OSADL Online Lectures - November 2021 edition 17.11.
SPS Smart Production Solutions 2021 - Canceled 23.11. - 25.11.
COOL - Compact OSADL Online Lectures - December 2021 edition 15.12.
COOL - Compact OSADL Online Lectures - January 2022 edition 26.01.
COOL - Compact OSADL Online Lectures - February 2022 edition 23.02.
COOL - Compact OSADL Online Lectures - February 2022 edition 23.02.

OSADL Articles:

2024-10-02 12:00

Linux is now an RTOS!

PREEMPT_RT is mainline - What's next?

2023-11-12 12:00

Open Source License Obligations Checklists even better now

Import the checklists to other tools, create context diffs and merged lists

2023-03-01 12:00

Embedded Linux distributions

Results of the online "wish list"

2022-07-11 12:00

Call for participation in phase #4 of Open Source OPC UA open62541 support project

Letter of Intent fulfills wish list from recent survey

2022-01-13 12:00

Phase #3 of OSADL project on OPC UA PubSub over TSN successfully completed

Another important milestone on the way to interoperable Open Source real-time Ethernet has been reached

2021-02-09 12:00

Open Source OPC UA PubSub over TSN project phase #3 launched

Letter of Intent with call for participation is now available

go to Archive ->

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

by Michaël Friess and Cyrille Comar, AdaCore

Slide #1

Original document in PDF format

Other presentions and documents in the context of Safety Critical Linux