Forschungsprojekt - DZSF - Optimierung von DSTW-Zulassungsprozessen durch eine automatisierte Testplattform und formale Methoden

Es soll untersucht werden, ob durch die Festlegung von zusätzlichen formalen Eigenschaften für die EULYNX-Spezifikation der Interpretationsspielraum geschlossen, eine Validierung der Spezifikation insgesamt durchgeführt und Black-Box-Tests ermöglicht werden können. Weiterhin soll die Anwendbarkeit von automatisierten Testumgebungen für Stellwerkskomponenten durch Prüfsachverständige am Beispiel evaluiert und zur Erstellung eines simulierten Gutachtens verwendet werden. Aufgrund ihrer Anzahl sind die wenigen großen LST-Hersteller in der Lage, Preise und Verfügbarkeit von Stellwerkskomponenten zu diktieren. Europäische Eisenbahninfrastrukturunternehmen hoffen mithilfe von standardisierten Schnittstellen einen Markteintritt von mittelständischen Unternehmen in die Leit- und Sicherungstechnik zu erreichen. Die sich daraus ergebende Integration von Stellwerkskomponenten verschiedener Hersteller in einem einzigen Stellwerk bringt neue Herausforderungen für den Sicherheitsbeweis und die Zulassung mit sich. Beispielsweise käme es unter Nutzung der bisherigen Prozesse zusätzlich zu erheblichen Zeitaufwänden. Inspiriert von Praktiken in anderen Branchen ist die Eisenbahn bereit für einen Schwenk zu innovativen Werkzeugen und angepassten Verfahren.