Skip to content

WP7 Workshop Spring 2013

Jump to bottom
MariellePetitDoche edited this page Apr 4, 2013 · 62 revisions

The openETCS Workpackage 7 will hold a workshop from April 15, 13:00 to April 16, 12:00. The activities on April 15 are open to the public, the ones on April 16 are not.

There will be additional WP1 activities (UnConference), starting on April 16.

You can sign up to both, the WP7 workshop and the UnConference, in this doodle

Organization

We have limited time, so it is crucial to have clear goals for the workshops. My goals are (1) communication with respect to the model evaluation efforts and (2) feedback with respect to the deliverables. As a format, I propose two half days:

Schedule and Location

The event is hosted by DB and takes place at:

DB Netz, Room B001, Völckerstr. 5, 80939 München

Monday 15th of April (afternoon)

  • 13:00 - 13:15 - Welcome
  • Following: Presentation of the model evaluation efforts: As we have roughly a dozen teams, this will be restricted to 15 minutes per team sharp: 10 minutes presentations, 5 minutes questions. If we have fewer than 11 teams, we will end the day sooner.
  • 13:15 - 13:30 - Core - Alexandre Ginisty (All4Tec) - Confirmed
  • 13:30 - 13:45 - GoPPr - Jan Peleska (Uni Bremen) - Confirmed
  • 13:45 - 14:00 - ERTMSFormal Spec - Stanislas Pinte (ERTMS Solutions)- Confirmed
  • 14:00 - 14:15 - Break
  • 14:15 - 14:45 - Invited Session by WP2 covering D2.5: Methods and tools benchmarking methodology (to set the stage for the evaluations)
  • 14:45 - 15:00 - SysML/ Papyrus - Alexander Stante (Fraunhofer) - Confirmed
  • 15:00 - 15:15 - SysML/ EA, RT-Tester - Cécile Braunstein (Uni Bremen) - Confirmed
  • 15:15 - 15:30 - Scade - Uwe Steinke (Siemens) - Confirmed
  • 15:30 - 15:45 - Break
  • 15:45 - 16:00 - Classical B / Atelier B - Marielle Petit-Doche (Systerel) - Confirmed
  • 16:00 - 16:15 - EventB / Rodin - Matthias Güdemann (Systerel) - Confirmed
  • 16:15 - 16:30 - Petri Net / Design /CPN - Jan Welte (TU-BS) - Confirmed
  • 16:30 - 16:45 - Break
  • 16:45 - 17:00 - System C / UPPAAL - Stefan Rieger (TWT) - Confirmed
  • 17:00 - 17:15 - GNAT Prove - David Mentré (MERCE) - Confirmed
  • 17:15 - 17:30 - Conclusion, logistics of evening program
  • 17:30 - 18:15 - Session with Esterel to discuss whether we qualify for the academic program.
  • 19:00 - Dinner, drinks and networking, on site, provided by DB

Tuesday 16th of April

  • WP7 organization session (not open to the public):
  • 9:00 - 9:30 - WP7 planning and next activities (every team gets 5 minutes sharp to summarize the state of each of the 9 deliverables)
  • 9:30 - 10:15 - Session on implementation (WP7.3): analyze the partners which are going to participate to the toolchain development, the time they can spend to it and on which subjects. (45 minutes)
  • 10:15 - 10:30 - Break
  • 10:30 - 12:00 - Open session on works around SysML (public)
    • - time slot and program to confirm -
    • Quick introduction to SysML - David Mentre / Mitsubishi Electric R&D -20 min
    • Benchmark on sysML with Topcased and EA - Mitsubishi Electric R&D - 20 min
    • SysML/UML (papyrus), Core and Matelo - CEA / All4Tech - 20 min
    • SysML (EA) and model based testing (RT-tester tool) - Uni Bremen - 20 min
    • SysML and Event-B (Rodin) - Systerel - to put in the formal session
  • 12:00 - 13:15 - RT-Tester/Uni Bremen - 30 min
  • 13:15 - 14:00 - Lunch
  • 14:00 - 15:15 - SCADE / Uwe Steinke - 75 min
  • 15:15 - 15:30 - Break
  • 15:30 - 18:00 - Evaluation Matrix (Klaus-Rüdiger Hase)

To arrange in the afternoon :

  • Open Session on formal methods :
    • Formal methods to design braking curves (SNCF) - 20 min
    • UPPAAL (Stefan Rieger) - 30 min
    • logical B and Event B for railway design (Systerel) - 30 min

Second proposition for Tuesday :

  • 9:00 - 10:40 - Open session on works around SysML (public)
    • Quick introduction to SysML - David Mentre / Mitsubishi Electric R&D -20 min
    • Benchmark on sysML with Topcased and EA - Mitsubishi Electric R&D - 20 min
    • SysML/UML (papyrus), Core and Matelo - CEA / All4Tech - 20 min
    • SysML (EA) and model based testing (RT-tester tool) - Uni Bremen - 20 min
    • Discussion - 20 min
  • 10:40 - 11:00 - Break
  • 11:00 - 12:30 - Open session on formal methods (1)
    • Logical B and Event B for railway design - Systerel - 30 min
    • Formal methods to design braking curves - SNCF - 30 min
    • UPPAAL - TWT GmbH - 30 min
  • 12:30 - 13:30 - Lunch
  • 13:30 - 15:15 - Open session on formal methods (2)
    • RT-Tester/Uni Bremen - 30 min
    • SCADE / Uwe Steinke - 75 min
  • 15:15 - 15:30 - Break
  • 15:30 - 18:00 - Evaluation Matrix (Klaus-Rüdiger Hase)

Wednesday 16th of April - All day - 09:00-16:00

1-day ERTMSFormalSpecs training - How to model Subset-026 requirements using ERTMSFormalSpecs, step-by-step tutorial

Contact: info@ertmssolutions.com About ERTMSFormalSpecs: http://www.ertmssolutions.com/ertms-formalspecs/

Background

Already in December, we discussed organizing a WP7 workshop. Planning of this event didn't happen until now, because the project plan was in flux, and specifically, because the coordination to the other WPs was still work in progress. We now have a much better understanding of this, and more important, a timeline.

The most important WP for us is WP2. They will provide three versions of each deliverable: a preliminary, an intermediate and a final version. 6 preliminary deliverables have been produced, the rest are due end of February. The intermediate deliverables will be available mid and end of March.

To make a WP7 meeting effective, we should organize it shortly after WP2 completes their deliverables, as we will focus on these in the workshop. It's too late to schedule an event to focus on the preliminary deliverables. Therefore, I propose to focus on the intermediate deliverables, which are due March 15 (D2.1, D2.2, D2.3, D2.7, D2.8, D2.9) and March 31 (D2.4, D2.5, D2.6).

Clone this wiki locally