You are here: Home / Events, Seminars & Workshops / 
2023-10-01 - 06:53

Dates and Events:

OSADL Articles:

2023-03-01 12:00

Embedded Linux distributions

Results of the online "wish list"

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

2016-11-12 12:00

Raspberry Pi and real-time Linux

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

OSADL Special Events

OSADL Special Events

SIL2LinuxMP/SIL2.2 - Workshop #5

December 5 to 7, 2017
09:00 - 17:00
Moosacher Straße 86
D-80809 Munich, Germany

Agenda - Registration

Access to the meeting

SIL2LinuxMP/SIL 2.2 project participants: Full Partners, Reviewing Partners and Academic Partners as well as the consulting regulatory body TÜV Süd Rail and our certification authority TÜV Rheinland.


Registration: Please register by email to the SIL2LinuxMP mailing list.

Registration deadline: Please register for the workshop before October 27, 2017


The workshop will have a short general assembly with an introduction for new collaborators, and then we will again split into working groups and the groups will start working on the selected topics.

Potential topics:

  • Static Analysis of Linux Kernel: Combining Coccinelle and Patch Impact Tester
  • Symbolic Execution with KLEE and S2E
  • Linux Test Project and openPOSIX test suite
  • Root Cause Analysis of Kernel Bugs
  • Software Layer of Protection Analysis
  • Linux Driver Verification

Other topics can of course be proposed and discussed on the mailing list.

Workshop language

The workshop language is English.


For accommodation, here are three hotels very close to the BMW Car IT offices (about 50-100 meters):

How to reach

The workshop will take place at BMW Car IT GmbH, Moosacher Straße 86, D-80809 Munich, Germany. For directions please click here.

Here is a further pointer how to reach the workshop location by car and public transportation: Directions to BMW Car IT.