WIT Press

Modelling And Simulation Of The European Train Control System For Test Case Generation

Price

Free (open access)

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