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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal method analysis and evaluation of ERTMS-test specification for the Italian high speed railway


    Contributors:
    Senesil, F. (author) / Malangone, R. (author)


    Publication date :

    2007


    Size :

    10 Seiten, 7 Bilder, 3 Tabellen, 14 Quellen



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Railways agree ERTMS specification

    Traverso, Claudio | IuD Bahn | 2000


    ERTMS - European Railway Transport Management System

    Kollmannsberger, F. / Ptok, F.B. / Wojanowski, E. | Tema Archive | 1996



    ERTMS - European Railway Transport Management System

    Kollmannsberger, Florian / Ptok, Frank Bernhard / Wojanowski, Erich | IuD Bahn | 1996


    The European Rail Traffic Management System (ERTMS) Specification Overview

    Tamarit, J. | British Library Conference Proceedings | 1998