Programme

The list of accepted papers can be found here.

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)