The article describes the functional test specification assessment about the ERTMS (European Rail Traffic Management System) trackside subsystem using formal languages. At first a brief description on the principal ERTMS system characteristics is reported and formal languages for the automatic Italian High Speed spacing system representation are introduced. The third section of the article presents a methodology for the high speed (HS) trackside subsystem specifications verification by formal languages and Statemate Magnum tool. In the fourth section results of this application and methodology, used for the Torino-Novara HS ERTMS trackside subsystem analysis, are reported.
Formal method analysis and evaluation of ERTMS-test specification for the Italian high speed railway
2007
10 Seiten, 7 Bilder, 3 Tabellen, 14 Quellen
Aufsatz (Konferenz)
Englisch
Railways agree ERTMS specification
IuD Bahn | 2000
|ERTMS - European Railway Transport Management System
Tema Archiv | 1996
|ERTMS relay system between cab of ERTMS applied railway vehicle and the signal processing method
Europäisches Patentamt | 2016
ERTMS - European Railway Transport Management System
IuD Bahn | 1996
|The European Rail Traffic Management System (ERTMS) Specification Overview
British Library Conference Proceedings | 1998
|