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 …