Download of the LNCS proceedings, available until November 1st.

Download program as three page PDF document.

Subject to change

Tuesday, October 10
 Track 1Track 2
09:00 09:15 Welcome
09:15 10:45 Tutorial: Human reliability in rail context (Frederik-Alexander Adebahr) Tutorial: Code Generation and Automated Verification of EULYNX MBSE Artifacts (Robert Schmid)
10:45 11:00 Coffeebreak
11:00 12:00 Tutorial: Risk Assessment for Driverless Train Operation on Main Lines – An Example (Tutorial Proposal) (Jens Braband and Hendrik Schäbe) Tutorial: Model Checking benefits and lessons learnt for V&V (SafeRiver company)
12:00 12:30  
12:30 13:00 Lunchbreak/Registration
13:00 13:30
13:30 14:00 Welcome
14:00 14:30 Keynote: Unleashing the Potential of Systems Engineering: From Theory to Practice — Lydia Kaiser
14:30 15:00
15:00 15:30 Coffeebreak
15:30 16:00 Ziyue Tang, Ning Zhao, Khalid Khan and Katinka Wolter. Safety analysis of Automatic Train Operation based on ETCS in main line application
16:00 16:30 Lodiana Beqiri, Zeinab Bakhshi, Sasikumar Punnekkat and Antonio Cicchetti. Estimation of Remaining Useful Life for Railway Gearbox Bearings using Machine Learning.
16:30 17:00 Michael Wild, Jan Steffen Becker, Günter Ehmen and Eike Möhlmann. Towards Scenario-based Certification of Highly Automated Railway Systems
17:00 17:30 Giulio Masetti, Felicita Di Giandomenico and Silvano Chiaradonna. Dependability Modeling and Analysis of UPS Architectures for the Italian Railway Signaling System
17:30 18:00  
Wednesday, October 11
09:00 09:30 Keynote: Enterprise IT in a large organisation is a challenge. Even more challenging if the “large organisation” is Deutsche Bahn AG in the middle of the digital revolution. — Andreas Freese
09:30 10:00
10:00 10:30 Michael Leuschel and Nader Nayeri. Modelling, Visualisation and Proof of an ETCS Level 3 Moving Block System
10:30 11:00 Madhusree Banerjee, Victor Cai, Sunitha Lakshmanappa, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger and Thomas Werner. A Tool-Chain for the Verification of Geographic Scheme Data
11:00 11:30 Coffeebreak
11:30 12:00 Ehsan Poorhadi and Elena Troubitsyna. Automating an Analysis of Safety-Security Interactions for Railway Systems
12:00 12:30 Amin Fakhereldine, Mohammad Zulkernine and Dan Murdock. TrainSec: A Simulation Framework for Security Modeling and Evaluation in CBTC Networks
12:30 13:00 Poster presentation
13:00 13:30 Lunchbreak
13:30 14:00
14:00 14:30 Workshop
14:30 15:00
15:00 15:30 Present of Workshop Results
15:30 16:00 Coffeebreak
16:00 16:30 Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori, Óli Kárason Mikkelsen and Sofie-Amalie Petersen. Automated Compositional Verification of Interlocking Systems
16:30 17:00 Alexandra Halchin, Adja Ndeye Sylla, Sarah Benyagoub, Abderrahmane Feliachi, Yoann Fonteneau and Sven Leger. Integral Formal Proof : A Verification Approach to Bridge the Gap between System and Software Levels in Railway System
17:00 17:30 Gustav Zickert and Nikitas Stathatos. Halfway Generic Verification of Railway Control Systems
19:00 23:00 Conference Dinner (food&drinks) at a nearby restaurant
Thursday, October 12
09:00 09:30 Keynote: Continuous research for Innovation — Aryldo Russo
09:30 10:00
10:00 10:30 Alexei Iliasov, Dominic Taylor, Linas Laibinis and Alexander Romanovsky. The SafeCap trajectory: industry-driven improvement of an interlocking verification tool (Industrial Paper)
10:30 11:00 Jan Gruteser, David Geleßus, Michael Leuschel, Jan Roßbach and Fabian Vu. A Formal Model of Train Control with AI-based Obstacle Detection
11:00 11:30 Coffeebreak
11:30 12:00 Panel discussion on future research: Chances & Challenges

Topic: In times of limited resources and an urgent need to develop the railway system further: How can we make collaboration between industry and academia more efficient?
Impulse by Armando Carrillo Zanuy, Eurnex

Participants of panel discussion:
Jens Braband, Siemens Mobility GmbH
Aryldo Russo, GESTE
Alexander Romanowsky, The Formal Route
Martin Cichon, KIT

Moderator: Birgit Milius, TU Berlin
12:00 12:30
12:30 13:00 Farewell