Program
Download of the LNCS proceedings, available until November 1st.
Download program as three page PDF document.
Subject to change
| Tuesday, October 10 | |||
| Track 1 | Track 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 | ||
| 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 |