SD
SIGNAL+DRAHT | Ausgabe 04/2010

Beschreibung von Eisenbahninfrastrukturen mit railML und ihre Verifikation

April 2010 | Carsten Gerke, Michael Lodemann, Norbert Luttenberger

Der Artikel beschreibt die Entwicklung eines regelbasierten Verifikationssystems zur Optimierung des Planungsprozesses von Eisenbahninfrastruktur- und Sicherungselementen. Das System verwendet Technologien der Wissensrepräsentation und ermöglicht die Abbildung von Planungs- und Projektierungsrichtlinien in Form von erweiterbaren Regelsätzen. Bei einer automatischen Verifikation wird ein Prüfbericht generiert, der den manuellen Prüfaufwand stark vermindert. Als Transferformat zwischen Planungsanwendung und dem Verifikationssystem wird railML®, ein eisenbahnspezifisches XML-Schema, verwendet.