Exploitation Workshop: November 24 2015

On the 23rd and 24th of November 2015 the exploitation workshop takes place in Munich at the Deutsche Bahn, Völckerstr. The overall schedule can be found here: https://github.com/openETCS/management/wiki/Review-preparation-and-exploitation-workshop

To coordinate the WP4 slot, please find the topics below:

Deliverables

Report on the prototypical application of the V&V tool chain and processes - for the formal model& formal abstract model

Report on the prototypical application of the V&V tool chain and processes - for the implementation / code of the formal model

Report on the prototypical application of the V&V tool chain and processes - - Generic safety case for the tool chain and the processes

Final report on Internal Assessment Activities for the whole project.

Final report and conclusions of the whole WP4

How does each partner contribution contribute to the big picture and goals of openETCS.

Provide information towards reusable results for third parties. An example can be found here: https://itea3.org/project/result/download/6795/H4H%20Exploitable%20Results.pdf

Organisation of the exploitation workshop:

09:00 - 09:40 Synchronization on Deliverables, Presentation and upcoming Demo (Marc Behrens, DLR)
09:45 - 10:00 Process Verification (Jan Welte, TU-BS)
10:05 - 10:20 Validation of the SCADE model done by property checking with the tool S3 based on HLL formalization (Marielle Pétit- Doche, Systerel)
10:25 - 10:45 Test Generation performed with RT- Tester (Jan Peleska, Uni- Bremen)
10:50 - 11:00 Agile Assessment of project results: Plan and Current Results (Frédérique Vallée, All4Tec)

Please take special care to quantify the improvements identifying Key Performance Indicators