Verschiedene Herausforderungen in der Leit- und Sicherungstechnik – speziell die Modernisierung in den Regionalnetzen – führten in den letzten Jahren zu innovativen Entwicklungen im Bereich der elektronischen Stellwerke. Insbesondere der Einsatz speicherprogrammierbarer Steuerungen verspricht ein hohes Rationalisierungspotenzial, führt aber auch zu neuen Anforderungen an den Entwicklungs- und Verifizierungsprozess. Mit dem Projekt „MENGES – Modellbasierte Entwurfsmethoden für die Entwicklung einer neuen Generation SPS-basierter elektronischer Stellwerke“ wird nun ein integriertes Entwicklungswerkzeug auf Basis von Eclipse entwickelt, das modellbasierte Entwurfsmethoden verwendet, um diese Prozesse zu unterstützen. Die Vorteile liegen insbesondere in einem hohen Automatisierungsgrad und der Harmonisierung von Methoden durch Abstraktion.