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.
Modelling and simulation of the European Train Control System for test case generation
1998
10 Seiten, 5 Quellen
Conference paper
English
Modelling and simulation of the European Train Control System for test case generation
British Library Conference Proceedings | 1998
|IuD Bahn | 1994
|ETCS - European Train Control System
Tema Archive | 1992
|European Train Control System (ETCS)
British Library Conference Proceedings | 1994
|