Durch den nahezu flächendeckenden Einsatz von Umrichtertechnik in der Bahnenergieversorgung und Fahrzeugtechnik, führt insbesondere das hochfrequente Schaltverhalten zum Eintrag von Oberschwingungen in das Energieversorgungsnetz. Wegen der dadurch verzerrten Spannung provoziert das Zusammenwirken der unterschiedlichen Systemkomponenten unzulässige Spannungs- und/oder Frequenzabweichungen, Resonanzerscheinungen und Leistungspendelungen im Netz. Dies kann zu Beschädigungen, Störungen oder …

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 …