SAT.VALID – A new planning and validation tool for advanced train controls

With the introduction of modern Communication Based Train Control Systems such as the European Train Control System ETCS, new challenges have emerged to planners and approving institutes. The overwhelming complexity of possible configurations, required infrastructure, linking data and validation cases makes conventional signalling planning and acceptance tools ineffective, while no...