You are here: Home / OSADL / Events / 
2018-12-18 - 20:23
OSADL Special Events

OSADL Special Events

SIL2LinuxMP/SIL 2.3 - Workshop #6

February 13 to 15, 2018
09:00 - 17:00
BMW Car IT GmbH
Moosacher Straße 86
D-80809 Munich, Germany

Agenda - Registration

Access to the meeting

SIL2LinuxMP/SIL 2.3 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

Registration: Please register by email to the SIL2LinuxMP mailing list

Registration deadline: Please register for the workshop before January 12, 2018.

Agenda

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:

  • Continue with Combining Coccinelle and Patch Impact Tester
  • Tracking/Managing False Positive Findings of Tools over Kernel Versions (with herodotus)
  • Linux Test Project and openPOSIX test suite
  • Linux Driver Verification
  • Statistical Analysis of Linux Stabilization Process
  • Root Cause Analysis of Kernel Bugs
  • Software Layer of Protection Analysis
  • Symbolic Execution with KLEE and S2E

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

Workshop language

The workshop language is English.

Accommodation

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

How to reach

Venue:
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.