Ausschreibung Lieferleistung Hardware in Bonn

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