Modelling And Simulation Of The European Train Control System For Test Case Generation
Price
Free (open access)
Transaction
Volume
37
Pages
10
Published
1998
Size
910 kb
Paper DOI
10.2495/CR980621
Copyright
WIT Press
Author(s)
H.-M. Schultz, M. Meyer zu Horste, B. Ptok & E. Schneider
Abstract
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. 1 Introduction 1.1 Background The process of European harmonisation is still in progress, w
Keywords