Projektziele

Ziel von MENGES ist die Entwicklung eines optimierten modellbasierten Entwurfsprozesses für elektronische Stellwerke auf Basis speicherprogrammierbarer Steuerungen mit domänenspezifischen Sprachen und der hierzu erforderlichen Werkzeuge unter besonderer Berücksichtigung von Produktsicherheit und Unterstützung bei der Verifikation.

Diese Hauptziel zerfällt in mehrere Teilaspekte. So soll die DSL möglichst nah an der Domäne des Stellwerksentwurfs liegen um so auch Bahntechnikern ein Verständnis der Modellierung zu geben. Davon ausgehened sollen die SPS programmiert werden. Durch den modellgetriebenen Ansatz soll aber nicht nur die Beschreibung erleichtert werden sondern ebenfalls die Verifikation und das Testen ermöglicht und erleichtert werden.

Neben analytischer Verifikation sollen auch verschiedene Konkretisierungen des Modells durch Simulationen erprobt werden können. Die hierfür erforderlichen Simulatoren erfordern neben der Beschreibung des Stellwerks ebenfalls eine Beschreibung der Umwelt und deren Verhalten. So müssen Zugfahrten ebenso simuliert werden wie witterungsbedingte und andere Ausfälle und Störungen.