Slides

---

Slides of the conference presentations and workshops are listed below.

Tuesday - 10th October:

• Lodiana Beqiri, Zeinab Bakhshi, Sasikumar Punnekkat and Antonio Cicchetti — Estimation of Remaining Useful Life for Railway Gearbox Bearings using Machine Learning
• Michael Wild, Jan Steffen Becker, Günter Ehmen and Eike Möhlmann — Towards Scenario-based Certification of Highly Automated Railway Systems
• Giulio Masetti, Felicita Di Giandomenico and Silvano Chiaradonna — Dependability Modeling and Analysis of UPS Architectures for the Italian Railway Signaling System

Wednesday - 11th October:

• Ehsan Poorhadi and Elena Troubitsyna — Automating an Analysis of Safety-Security Interactions for Railway Systems

• Workshops:

  • Role of artificial intelligence in future railways
  • Workstream Railway Digitalisation

• Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori, Óli Kárason Mikkelsen and Sofie-Amalie Petersen — Automated Compositional Verification of Interlocking Systems

• Gustav Zickert and Nikitas Stathatos — Halfway Generic Verification of Railway Control Systems

Thursday - 12th October:

• Jan Gruteser, David Geleßus, Michael Leuschel, Jan Roßbach and Fabian Vu — A Formal Model of Train Control with AI-based Obstacle Detection
• Aryldo Russo — Continuous research for Innovation