September 26 to 28, 2017
A&R TECH Automatisierungs- und Regelungstechnik GmbH
Marktsteinergasse 13
A-1210 Vienna, Austria

Agenda - Hotel recommendation - Registration

SIL2LinuxMP/SIL2.2 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: By email to SIL2LinuxMP Mailinglist

Registration deadline: July 28, 2017

Tuesday, September 26, 2017, 9 am - Status and Updates

    * Status of SIL2LinuxMP/SIL2.2 update
    * Notes from TÜV on AnnexQR
    * Update on use case development
      - Level of detail reached
      - Summary of SACs and major findings
      - Selection criteria
    * Note on the state of HW and possible alternatives

Tuesday to Thursday, September 26 - 28, 2017 - Breakout sessions

    * Semantic patches with Coccinelle - Julia Lawall
      - Introduction to Coccinelle
      - API compliance analysis
      - Readability fixups
      - Incorrect defensive structures
    * Static code analysis tools for the kernel - Alexey Khoroshilov(?)
      - Static Analysis of Linux Kernel with KLEE
      - LDV static verification tools for Linux
      - Systematic fault injection for Linux kernel code
    * Posix test-suit extensions - Andreas Platschek
      - HAZOP overview and functional context
      - Workflow - posix testsuit extension
      - Structure of test cases
      - Generalization/abstraction from use case
      - LOPA Effectiveness

Please note that the agenda is preliminary and may be subject to changes!

The workshop language is English.

Hotels close to the workshop location:

• FourSide Hotel & Suites Vienna, Freytaggasse 25-27, A-1210 Vienna, phone +43 1 278 07 80 – 0, fax +43 1 278 07 80 - 80, www.vienna-hs.fourside-hotels.com; email vienna-hsªfourside-hotels.com. Price per person/night during the workshop period: from 99 to 139 EUR excluding breakfast. This hotel is locatated within 20 minutes walking distance from the workshop location; approx. 5 minutes by train.
• Strebersdorfer Hof, Rußbergstraße 46, A-1210 Vienna, phone +43 1 292 8869-0, fax +43 1 292 8869-36, www.strebersdorferhof.at, email infoªstrebersdorferhof.at. Price per person/night during the workshop period: from 83 to 88.50 EUR including breakfast. This hotel is also about a 20 minutes walk away from the workshop location.

As of August 10, 2017 both hotels still had some room availabilities at the workshop dates, but please make your booking as soon as possible.

Venue:
The workshop will take place at A&R TECH Automatisierungs- und Regelungstechnik GmbH, Marktsteinergasse 13, A-1210 Vienna, Austria, http: www.artech.at.

http://www.artech.at/en/contact/