Programme
The list of accepted papers can be found here. The proceedings of the conference are published by Springer.
November 14, Tuesday
(location UNISER)
9:00 - 10:45 Room 1: Tutorial 1; Room 2: Tutorial 2.
10:45 - 11:15 Coffee break
11:15 - 13:00 Room 1: Tutorial 4; Room 2: Tutorial 3.
13:00 - 13:30 Lunch for tutorial attendees
(location – La Cattedrale)
12:00 - 13:30 Registration and Coffee
13:30 - 13:40 Welcome from DITECFER and the Programme Chairs
13:40 - 14:40 Keynote 1 - Jens Braband - 'Quo vadis - Cybersecurity in railways'
14:40 - 15:00 Coffee break
Session: Communication challenges in railway systems
15:00 - 15:40 Gianluca Mandò and Giovanni Giambene. LTE Performance Evaluation for Light Rail Transit (LRT) Signaling Safety Applications
15:40 - 16:20 Roberto Canonico, Stefano Marrone, Roberto Nardone and Valeria Vittorini. A framework to evaluate 5G networks for smart and fail-safe communications in ERTMS/ETCS
16:20 - 16:50 William Temple, Yue Wu, Binbin Chen and Zbigniew Kalbarczyk. Systems-Theoretic Likelihood and Severity Analysis for Safety and Security Co-Engineering
18:00 - 20:00 Conference reception in Museo Marini
November 15, Wednesday
9:00 - 10:00 Keynote 2 - Michael Leuschel - 'The Unreasonable Effectiveness of B for Data Validation and Modelling of Railway Systems'
10:00 - 10:30 Coffee break
Session: Formal modelling and verification for safety - 1
10:30 - 11:10 Michael Butler, Dana Dghaym, Tomas Fischer, Thai Son Hoang, Klaus Reichl, Colin Snook and Peter Tummeltshammer. Formal modelling techniques for efficient development of railway control products
11:10 - 11:50 Manel Fredj, Sven Leger, Abderrahmane Feliachi and Julien Ordioni. OVADO: Enhancing Data Validation for Safety-Critical Railway Systems Industry
11:50 - 12:30 Linh Hong Vu, Anne E. Haxthausen and Jan Peleska. A Domain-Specific Language for Generic Interlocking Models and Their Properties
12:30 - 13:10 Ci Liang, Mohamed Ghazel, Olivier Cazier, Laurent Bouillaut and El-Miloudi El-Koursi. Bayesian Network Modeling Applied on Railway Level Crossing Safety
13:10 - 14:30 Lunch
14:30 - 15:20 Shift2Rail session
15:20 - 15:45 Coffee break
Session: Formal modelling and verification for safety - 2
15:45 - 16:25 Eduard Kamburjan and Reiner Hahnle. Deductive Verification of Railway Operations
16:25 - 17:05 Mathieu Comptier, David Deharbe, Julien Molinero Perez, Louis Mussat, Thibaut Pierre and Denis Sabatier. Safety Analysis of a CBTC System: A Rigorous Approach with System Level B Industry
17:05 - 17:30 Alexandra Halchin, Yamine Ait-Ameur, Abderrahmane Feliachi, Julien Ordioni and Neeraj Kumar Singh. B-PERFect: Applying the PERF approach to B based system developments
17:30 - 18:10 Stefan Mitsch, Marco Gario, Christof J. Budnik, Michael Golm and Andre Platzer. Formal Verification of Train Control with Air Pressure Brakes
19:00 - 23:00 Conference Dinner - Locomotive Depot
November 16, Thursday
9:00 - 10:00 Keynote 3 - Aryldo Ar. Russo - 'Safety Certification: considering processes around the world'
10:00 - 10:30 Coffee break
Session: Light Rail and Urban Transit
10:30 - 11:10 Loic Helouet, Karim Kecir, Bruno Adeline, Pierre Dersin and Eric Fabre. An efficient evaluation scheme for KPIs in regulated urban train systems
11:10 - 11:50 Vincenzo Di Massa, Mirko Damiani, Maurizio Papini and Gianluca Mandò. Light-Rail-Transit On-Board-Systems Redundant and Reliable Architecture Based On Open Source Tools Industry
11:50 - 12:30 Davide Basile, Felicita Di Giandomenico and Stefania Gnesi. Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming
12:30 - 14:00 Lunch
Session: Engineering techniques and standards
14:00 - 14:25 Paulius Stankaitis and Alexei Iliasov. Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks
14:25 - 15:05 Alessio Ferrari, Mario Fusani and Stefania Gnesi. Are Standards an ambiguity-free reference for product validation?
15:05 - 15:20 Wrap-up and closing remarks
15:20 - 16:00 Coffee break
15:30 - 19:00 Optional visit to ITALCERTIFER rolling stock laboratory (Osmannoro, Florence)
