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

Agenda - Registration

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.

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.