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

Agenda - Registration

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: Please register by email to the SIL2LinuxMP mailing list

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

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.

The workshop language is English.

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

• Leonardo Royal Hotel Munich, https://www.leonardo-hotels.com/leonardo-royal-hotel-munich, Moosacher Straße 90, 80809 Munich, Germany

• Hotel Adagio Access München City Olympiapark, http://www.adagio-city.com/gb/hotel-9274-adagio-access-munich-city-olympiapark-dec-2014/index.shtml, Am Oberwiesenfeld 20, 80809 Munich, Germany

• Hotel Ibis Budget München City Olympiapark, http://www.ibis.com/gb/hotel-8726-ibis-budget-muenchen-city-olympiapark/index.shtml, Am Oberwiesenfeld 22, 80809 Munich, Germany

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.