Die Prüfung von Projektierungsdaten für sicherheitsrelevante Anwendungen wie das Radio Block Center (RBC) ist eine wesentliche Voraussetzung für den sicheren Betrieb von Zugsicherungsanlagen. Der Artikel zeigt einen möglichen Weg zur Formalisierung unter Verwendung der Extensible Markup Language (XML - Empfehlung des World Wide Web Consortiums (W3C) 19980210. Obwohl eine Zulassung nur auf Basis der hier beschriebenen Prüfungen derzeit nicht das Ziel ist, werden eine Vielzahl von Fehlern und Regelverletzungen offenbart. Diese Methode wird für das Alcatel Produkt RBC im Rahmen des Projektes ETCS2000 für alle projektspezifischen Daten eingesetzt. Dieser Artikel beschränkt sich auf die Streckendaten (Route Map). Die Streckendaten im RBC sind sicherheitsrelevante Daten mit hoher Komplexität.