- Automated Railway Command and Control Systems
The main goal of a railway network operator is to provide a timely and safe train service to the customer. Automation and computer driven train control are essential elements towards achieving such a service for large railway systems. Automated Command and Control Systems in the railway domain cover a wide range of functionality in routing, communication and protecting trains in continuous safety-critical operation. They interface with timetable servers for automatic operation, numerous track-side elements as well as HMIs (Human Machine Interface). This use case will cover several aspects. First, the system level aspects address the system and variability aspects of the overall system from the perspective of user feature variability. The goal is to develop a core asset base of variability components for a generic interlocking system that is able to adopt to various markets and different customer requirements. Key point is to allow for a validation approach based on formal methods that avoids the need for comprehensive test suites for each product variation. The overall goal in this use case is to test novel approaches to verification and validation of large and complex systems in the railway domain with special focus on managing variability and reducing the associated costs for validation by the use of formal methods.