Die automatische Planprüfung von Projektierungsdaten typzugelassener Sicherungsanlagen senkt den Prüfaufwand und unterstützt eine vollständige, zeitgerechte und verlässliche Durchführung von Erstprüfungen und Änderungsprüfungen. Ein wesentliches Ziel des Einsatzes sogenannter automatischer Planungsprüfmaschinen (PPM) ist der Sicherheitsgewinn, der sich unter anderem aus der Regelhaftigkeit, Formalisierung, Nachvollziehbarkeit und Vollständigkeit der Verifikation ergibt.
Automatische Verifikation der Projektierungsdaten von ESTW
Automatic verification of application data for electronic interlockings
Signal und Draht ; 91 , 12 ; 30-31
1999
2 Seiten
Aufsatz (Zeitschrift)
Deutsch
Automatische Verifikation der Projektierungsdaten von ESTW
IuD Bahn | 1999
|ESTW Afrikanische Straße der BVG - neues Nahverkehrs-ESTW von Alcatel
Tema Archiv | 2005
|Springer Verlag | 2022
|Das SPS-basierte ESTW Alister 2.0 im Pilotprojekt ESTW-R Lindauni
IuD Bahn | 2009
|Projektierungsprüfung eines ESTW
IuD Bahn | 1995
|