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.
Utilizzo di linguaggi formali per l'analisi e la valutazione delle specifiche di test del sistema ERTMS della rete italiana ad Alta Velocità
Der Gebrauch formaler Sprachen für die Analyse und Bewertung der Prüfspezifikationen für das ERTMS-System des italienischen Hochgeschwindigkeitsnetze
Ingegneria ferroviaria ; 61 , 12 ; 957-966
2006-01-01
10 pages
Article (Journal)
Italian
© Metadata Copyright Deutsche Bahn AG. All rights reserved.
ERTMS: i requisiti e le specifiche di sistema
IuD Bahn | 1999
|ERTMS: le specifiche funzionali per il nuovo sistema europeo
IuD Bahn | 1999
|La rete ferroviaria ad Alta Velocità in Corea del Sud
IuD Bahn | 2012
|