BMBF Projekt UniForM Workbench

(Universelle Entwicklungsumgebung für Formale Methoden)

An einem Nachfolgeprojekt zu KORSO mit dem Thema Universelle Entwicklungsumgebung für formale Methoden (UniForM Workbench) sind an der Universität Bremen Prof. Krieg-Brückner (Projektleitung) und Prof. Peleska beteiligt, an der Universität Oldenburg Prof. Olderog, als Anwendungspartner die Firma ELPRO LET AG, Berlin (Sicherungssysteme für die Verkehrstechnik). Die Laufzeit ist von Juni 95 bis Mai 98, das Fördervolumen an der Universität Bremen beträgt ca. 1,5 Mio DM. Die UniForM Workbenchsoll die Grundlage für angewandte Kooperationsprojekte mit der Bremer Industrie werden.

Die UniForM Workbench ist ein allgemeiner Rahmen, der mit konkreten Werkzeugen für Methoden instantiiert wird, die Realzeitbedingungen, kommunizierende verteilte Systeme und speicherprogrammierbare Steuerungen behandeln. Es wird exemplarisch gezeigt, wie Methoden in logisch konsistenter Weise kombiniert und Transformationswerkzeuge korrekt entwickelt werden können. Die industrielle Nutzbarkeit der UniForM Workbench wird anhand einer Fallstudie aus der industriellen Praxis nachgewiesen, der Entwicklung einer dezentralen Steuerungs- und Sicherungseinrichtung für Regionalbahnen.