SIGNAL+DRAHT | Issue 06/2019

Fully automated driving as part of Shift2Rail

June 2019 | Renato Rodrigues, Ralph Mueller, Matthias Moritz

Automatic train operation: much more than simply driverless travel. Significant automation requires greater reliance on innovative systems and complex software. The railways will only remain competitive, if the systems and software can be easily updated with a quicker and cheaper integration and approval process. This requires a complete redesign of the railway control, command and signalling (CCS) architecture. The adoption of formal methods for the entire product development cycle will reduce errors and ambiguity in the specifications and enable formal verification, thereby reducing costs and delays to development and deployment...