SIGNAL+DRAHT | Issue 06/2019
Fully automated driving as part of Shift2Rail
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...