DisCo-Rail 2019

mandag 24 jun 19


Henrik Sylvan
DTU Management
45 25 15 37
International Workshop on Distributed Computing in Future Railway Systems
DisCoRail is part of DiscoTec 2019

9:00-9:15 Registration

9:15-10:45 Distributed Interlocking

  • Jan Peleska, University of Bremen, Germany 
    New Distribution Paradigms for Railway Interlocking

  • Signe Geisler, DTU Compute, Denmark 
    Stepwise Development and Model Checking of a Distributed Interlocking System - Using RAISE

  • Per Lange Laursen and Van Anh Thi Trinh, DTU Compute, Denmark 
    Modelling and Verification of a Distributed Interlocking System - Using UPPAAL and UMC

  • Paulius Stankaitis, Newcastle University, UK 
    Formal distributed protocol development for reservation of railway subsections

10:45-11:10 Coffee break

11:10-12:00 Formal methods and tools

  • Thierry Lecomte, Clearsy, France 
    Formal Techniques for Safer Signalling Systems

  • Anne Haxthausen, DTU Compute, Denmark 
    The RobustRailS tool set

12.00-13:10 Lunch

13:10-14:10 Security and Blockchain technology

  • Jens Braband, Siemens Mobility GmbH, Germany 
    A Survey of Cybersecurity in Signaling
  • Michael Kuperberg, Deutsche Bahn Systel Gmbh, Germany 
    Towards a Systematic Selection of a Blockchain Implementation for a Decentralized Rail Control System

14:10-14:35 Coffee break

14:35-16:15 Moving block, Virtual coupling and positioning systems

  • Francesco Flammini, Linnæus University, Sweden 
    Towards Railway Virtual Coupling

  • Davide Basile, Univ. of Florence, Italy 
    Statistical model checking of hazards in an autonomous tramway positioning system

  • Franco Mazzanti, ISTI-CNR, Italy 
    Modelling a Moving Block train control system: different techniques and tools

  • Markus Roggenbach, Swansea University, UK 
    Modelling and Verification of ERTMS – A Comparison of KeYmaera, Real-Time Maude, and UPPAAL

16:15-16:45 Discussions

Nyheder og filtrering

Få besked om fremtidige nyheder, der matcher din filtrering.