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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Additional title:

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



    Published in:

    Ingegneria ferroviaria ; 61 , 12 ; 957-966


    Publication date :

    2006-01-01


    Size :

    10 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    Italian