Modelling And Simulation Of The EuropeanTrain Control System For Test Case Generation
H. Schultz, Michael Meyer zu Hörste, B. Ptok, E. Schneider · WIT transactions on the built environment · 1998
The European Train Control System (ETCS) is in development. Based on its specification in natural language a formal Petri net model has been established using the tool Design/CPN by order of the Deutsche Bahn AG. Thus, an industrial scale example exists to investigate the impact of formal models on the product life cycle. This paper focus' on the test for approval since this will be in the next future a major matter of concern of the railway companies, as the industry will deliver first prototypes of the ETCS soon.