Der Einsatz der modernen Sicherungstechnik ERTMS gestattet eine Erhöhung von Sicherheit und Betriebsleistung sowie europäische Interoperabilität, bringt jedoch auch Störungsanfälligkeit mit sich, falls er nicht gut geplant ist. Berichtet wird über Erfahrungen und Festlegungen anlässlich des Probebetriebes der Hochgeschwindigkeitsstrecke Turin - Novara. Das Untersystem "Strecke" ist im Ansatz als "grey-box" modelliert. Für die Prüfung wurde die kommerzielle Software Statemate Magnum gewählt. Es wird gezeigt, wie eine Prüfung der Anlage unter "realen" Bedingungen möglich war. Die Erläuterungen werden durch Bildschirmwiedergaben ergänzt.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Utilizzo di linguaggi formali per l'analisi e la valutazione delle specifiche di test del sistema ERTMS della rete italiana ad Alta Velocità


    Weitere Titelangaben:

    Der Gebrauch formaler Sprachen für die Analyse und Bewertung der Prüfspezifikationen für das ERTMS-System des italienischen Hochgeschwindigkeitsnetze



    Erschienen in:

    Ingegneria ferroviaria ; 61 , 12 ; 957-966


    Erscheinungsdatum :

    01.01.2006


    Format / Umfang :

    10 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Italienisch