-
Notifications
You must be signed in to change notification settings - Fork 30
WP7 Workshop Spring 2013
The openETCS Workpackage 7 will hold a workshop from April 15, 13:00 to April 16, 12:00. Most (but not all) activities will be open to the public.
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
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:
We are happy to announce that DB Netz will sponsor a dinner on Monday, April 15 in Munich on site - thank you very much. If you intend to stay for dinner, please indicate this on the following Doodle by Monday, April 8, so that we know how much food to order: http://doodle.com/6a96um7kgqkq433f
The event is hosted by DB and takes place at:
DB Netz, Room B001,(Großer Medienraum) Völckerstr. 5, 80939 München
- 11:00 - 12:00 - WP7 organization session (not open to the public)
- 13:00 - 13:15 - Welcome (Michael Jastram)
- 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:25 - Invited Session by WP2 covering D2.5: Methods and tools benchmarking methodology (to set the stage for the evaluations)
- 14:25 - 14:45 - Formal methods to design braking curves - Marc Antoni (SNCF) - Confirmed
- 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) und Frank Golatowski (Uni Rostock) - 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.
- 18:15 - 19:00 - R. B 002 (PCC members only): Special PCC planning meeting: "Schedule Options 1, 2, or 3")
- 18:30 - 20:00 - Bavarian Buffet & drinks networking dinner on site, provided by DB
- 9:00 - 10:40 - Open session on works around SysML (public)
- Quick introduction to SysML - David Mentre / Mitsubishi Electric R&D -20 min - Confirmed
- Benchmark on sysML with Topcased and EA - Mitsubishi Electric R&D - 20 min - Confirmed
- SysML/UML (papyrus), Core and Matelo - CEA / All4Tech - 20 min Confirmed
- SysML (EA) and model based testing (RT-tester tool) - Uni Bremen - 20 min Confirmed
- 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 Confirmed
- UPPAAL - TWT GmbH - 30 min Confirmed
- Verification of temporal properties - IRIT/LAAS - 30 min Confirmed
- 12:30 - 13:30 - Lunch
- 13:30 - 15:30 - Open session on formal methods (2)
- Tool Qualification Requirements according to ISO26262, IEC61508 and DO-330 - VALIDAS - Osca Slotosch - 30 min- Confirmed
- Tool Chain Analysis - VALIDAS - Osca Slotosch - 30 min- Confirmed
- RT-Tester - Uni Bremen - 30 min Confirmed
- SCADE - Siemens - Uwe Steinke - 30 min Confirmed
- 15:45 - 16:00 - Break
- 16:00 - 18:15 - Evaluation Matrix (Klaus-Rüdiger Hase)
- 18:30 - 20:00 - Drinks & snacks networking get-together on site, provided by DB
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/
1/2-day FRAMA-C training - How to make use of FRAMA-C for modelling Subset-026. This is a step-by-step tutorial including tool installation on your Windows PC and first step formalization work.
Contact: jens.gerlach@fokus.fraunhofer.de ; benjamin.monate@cea.fr About FRAMA-C: http://frama-c.com/ Manual: http://frama-c.com/download/frama-c-user-manual.pdf
1-day SCADE training & workshop - How to model Subset-026 requirements using ESTEREL's SCADE, step-by-step tutorial and workshop. SCADE(Safety Critical Application Development Environment)is a tool-set already widely used in aviation, automotive and the railway sector (interlocking, signalling). It is a commercial tool and not yet available under a OSS license.
Contact: tobias.knostmann@esterel-technologies.com About ESTREL: http://www.esterel-technologies.com/
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).