Verteidigung Masterarbeit: Automatisierte, richtlinienba­sierte Plausibilitäts­prüfungen für die ESTW-Planung in ProVI

Die Arbeit untersucht die Entwicklung und Anwendung automatisierter, richtlinienbasierter Plausibilitätsprüfungen für die ESTW-Planung in ProVI-LST. Im Fokus steht die Plausibilitäts- und Zulässigkeitsprüfung (PlaZ) in der digitalen LST-Planung, die die PlanPro-XML und fachliche Zusammenhänge prüft und bereits im Planungswerkzeug während der Planung erfolgen kann. Es wird untersucht, wie Regeln aus PlaZ-LST und PlaZ-Modell für ESTW-Planungen in ProVI nutzbar sind. Am Beispiel der Signalplanung werden geeignete Regeln identifiziert, um Prüfungen nach Ril 819 ergänzt und als eindeutige Entscheidungslogiken beschrieben. Im Beispielprojekt werden typische Prüffälle gesammelt und in softwarelesbare Entscheidungsmodelle überführt. Außerdem wird geklärt, was automatisierbar ist, welche Eingaben nötig sind.