The main goal of a railway network operator is to provide a timely and safe train service. Automation and computer driven train control are essential elements towards achieving such a service for large railway systems. Automated Command and Control Systems cover a wide range of functionality in routing, communication and protecting trains in continuous safety-critical operation, interfacing with timetable servers for automatic operation, numerous trackside elements as well as humanmachine-interfaces (HMIs). The overall goal in this use case is to test  novel approaches to verification and validation of large and complex systems with special focus on managing variability and reducing the associated costs for validation by the use of formal methods. The focus of the Complex Automated Command and Control Systems use case will be on:

  • Description of the environment a rail automated command and control system is operated in
  • Description of market and different customer requirements
  • Elaborate a comprehensive set of requirements to allow for test case reduction
  • Prototype implementation of systems and subsystems to be validated
  • Description of security and safety requirements

Currently, the team is addressing the verification and validation of a novel railway operation concept “ETCS virtual fixed block” which is part of the ETCS Level 3 specification (https://en.wikipedia.org/wiki/European_Train_Control_System…). As opposed to a full Level 3 design which requires large changes to the current railway infrastructures due to the introduction of moving blocks, this virtual fixed block hybrid fits nicely into current operational concepts and helps to increase the capacity of the train line. More to watch: https://www.bildwerk.tv/projekte/ait-railway-mapping/