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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Senesil, F. (Autor:in) / Malangone, R. (Autor:in)


    Erscheinungsdatum :

    2007


    Format / Umfang :

    10 Seiten, 7 Bilder, 3 Tabellen, 14 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Railways agree ERTMS specification

    Traverso, Claudio | IuD Bahn | 2000


    ERTMS - European Railway Transport Management System

    Kollmannsberger, F. / Ptok, F.B. / Wojanowski, E. | Tema Archiv | 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