Johannes Kepler University Linz
Integrated Circuit and System Design
Univ.-Prof. Dr. Robert Wille
Altenberger Straße 69 | SCP3 0405
4040 Linz | Austria
Tel: +43 732 2468 4739

Map and directions to JKU

Design Automation for the European Train Control System

The European Train Control System (ETCS) strives to harmonize and improve train control systems throughout Europe. One particular aspect is the utilization of virtual subsections which allow for a much higher degree of freedom and provide significant potential for increasing the efficiency in today’s train schedules. However, exploiting this potential is a highly non-trivial task which, thus far, mainly relied on manual labor. In our work, we aim for introducing methods for design automation which aid designers of corresponding railway networks and train schedules.

In a first attempt, we developed an initial solution which utilizes satisfiability solvers to generate, verify, and optimize train layout and/or schedules. A detailed description of this solution is available in the paper “Towards Automatic Design and Verification for Level 3 of the European Train Control System”.

An implementation of this initial solution is available at In case of questions/problems, please contact us through or create an issue on

If you use the tool for your research, we would be thankful if you referred to it by citing the following publication:

   title={Towards Automatic Design and Verification for Level 3 of the European Train Control System},
   author={Robert Wille and Tom Peham and Judith Przigoda and Nils Przigoda},
   booktitle={Design, Automation and Test in Europe (DATE)},