Workshop on "Results on VnV and Secondary Toolchain”

Combined Workshop on “Results on VnV and Secondary Toolchain”

• The date is fixed for the 07-October-2013 to 09-October-2013

• The Doodle http://www.doodle.com/p99mq377tv7zx67g is left open as a participation list

  • The doodle has been detailed to the different parts: Please contribute to the new doodle http://www.doodle.com/3p9td753gbw5mp4w

• The possibility to listen to the meeting online will be investigated

Minutes

• The slides are linked to the agenda points.
• For specific results the issues within the associated repository can be found.

Workshop Location

The event from 07-October-2013 to 08-October-2013 is hosted by DLR and takes place at:

Deutsches Zentrum für Luft und Raumfahrt e.V.

Lilienthalplatz 7

38108 Braunschweig

[How to get there] (http://www.dlr.de/dlr/en/desktopdefault.aspx/tabid-10273/378_read-227/)

The event at the 09-October-2013 to 10-October-2013 is hosted by Siemens and takes place at:

Siemens AG

Ackerstr. 22

38126 Braunschweig

Near to Braunswchweig Central Station [How to get there] (https://maps.google.de/maps?saddr=braunschweig+central+station&daddr=Ackerstra%C3%9Fe&hl=en&ie=UTF8&sll=52.253106,10.544772&sspn=0.006134,0.00751&geocode=FUtOHQMdr9KgACGBYFfI7cRHkCk9kVjJ6fWvRzGBYFfI7cRHkA%3BFaJQHQMdWeWgAA&t=h&dirflg=w&mra=dme&mrsp=1&sz=16&z=16)

Workshop Agenda

Day 1 (07-October-2013) @DLR

• 11:00 - 12:00 - WP4 coordination and synchronization on next activities (open session) confirmed
• 12:00 - 13:00 - Lunch on site (for everyone coming early)
• 13:30 - 13:40 - Welcome and starting of workshop (Michael Meyer zu Hörste, DLR Chief Engineer) ==> presentation
• 13:40 - 13:45 - ETCS Testing (Marc Behrens, DLR) ==> presentation
• 13:45 - 14:14 - Testenvironmen Simulation (Jan Peleska, Uni-Bremen) ==> presentation
  • “ Getting Started with Test Modelling in RT-Tester“
  • Demonstration in parallel to the break
• 14:15 - 14:25 - Break
• 14:25 - 14:30 - WP7 Workshop Welcome (Michael Jastra, Fromal Minds)
• 14:30 - 14:55 - WP7-Task 7.2 Secondary Tool selection : Progress meeting (Marielle Petit-Doche, Systerel) - ==> presentation
• 14:55 - 15:15 - WP7-Task 7.3 Toolchain (Jan Peleska, Uni-Bremen) - confirmed
• 15:15 - 15:30 - WP2-D2.4 : Modelling Style guideline : "Getting started with SysML" (Marielle Petit-Doche, Systerel) - ==> presentation
• 15:30 - 15:45 - Break
• 15:45 - 16:00 - Parameter usable for operational scenario VDE 8.2 (Baseliyos Jacob, Deutsche Bahn) - ==> presentation
• 16:00 - 16:15 - Formalising Subset-026 Chapter 7: Bitwalker (Gerd Assmann, Siemens)- ==> presentation
• 16:15 - 16:30 - Verification of the Subset-26 Chapter 7 Code for the Bitwalker (Jens Gerlach, Fraunhofer) - ==> presentation
• 16:30 - 16:45 - Break
• 16:45 - 17:45 - WP7 Meeting and WP1 / openETCS organizational issues (Klaus-Rüdierg Hase, Deutsche Bahn) - ==> presentation
• 17:45 - 18:15 - Visiting of DLR Laboratories
• 19:00 - Dinner, drinks and networking

Restaurant Al Duomo

Ruhfäutchenplatz 1

D-38100 Braunschweig

[How to get there] (http://www.alduomo.de/kontakt.php)

Day 2 (08-October-2013) @DLR

• 08:30 - 12:00 WP3 & SSRS Meeting (Baseliyos)
  • 08:30 - 08:40 Report from the last SSRS meeting (Frankfurt)-_(Baseliyos Jacob, Deutsche Bahn) ==> presentation
  • 08:40 - 09:00 SRS analysis and functions (Jan Welvaarts, NS/LLoyds) ==> presentation
  • 09:00 - 10:00 "Getting started with papyrus and SysML" (Matthieu Perin, CEA) ==> presentation papyrus presentation SysML
  • 10:00 - 10:15 Break
  • 10:15 - 10:45 "Getting started with ProR" (Michael Jastram, Formal Mind) ==> presentation follow-up
  • 10:45 - 11:45 SSRS Verification (Jan Welte, TUBS/ Cyril, All4Tec) presentation safety strategy
• 11:45 - 12:30 Lunch (Buffet)
  • 12:30 - 15:25 PCC Meeting for discussion and deciding on further WP3 + WP7 (Klaus-Rüdiger Hase, Deutsche Bahn) - confirmed
    • PCC Agenda ==> presentation
    • PCC Invitation
• 15:25 - 15:40 Break
  • 15:40 - 17:30 QA Plan Maturity Review & Approval Meeting (Izaskun De La Torre, SQS) - presentation
  • 17:30 - 19:00 SSRS SysML Workshop (@Siemens Braunschweig)(@SSRS Task team) ==> presentation

Day 3 (09-October-2013) @Siemens

• 09:00 - 11:50 WP3 Kick-off Meeting (Pierre-François and Baseliyos confirmed) ==> presentation
  • 11:00 - 11:50 WP3 small preparation session (Pierre-François Jauquet, ALSTOM) ==> presentation
• 11:15 - 11:50 WP5 Kick-off Meeting (Patrick Deutsch, ERSA) ==> presentation
• 11:50 - 12:45 Lunch (Buffet) sponsored by Siemens confirmed
• 12:45 - 13:15 Presentation of scenario data (Jos Holzer, Nederlandse Spoorwegen)
• 13:15 - 13:30 Presentation of results of WP3 small preparation session (Baseliyos Jacob, Deutsche Bahn)
• 13:30 - 13:45 Discussion of open issues (Baseliyos Jacob, Deutsche Bahn)

Day 4 (10-October-2013) @Siemens

• 09:00 - 14:00 SSRS SysML Workshop