UniForM Workbench

Universelle Entwicklungsumgebung für
Formale Methoden

Universitäts- und Industriepartner entwickeln eine Universelle Entwicklungsumgebung für Formale Methoden. Das Projekt UniForM Workbench wird von 1995 bis 1998 vom BMBF gefördert.

Ziele

Die Erstellung vertrauenswürdiger Software für industriell relevante Aufgabenstellungen verlangt nach einer geeigneten werkzeugunterstützten Kombination Formaler Methoden.

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 gezeigt, wie Methoden in logisch konsistenter Weise kombiniert und Transformationswerkzeuge korrekt entwickelt werden, ein grundlegender Aspekt der Qualitätssicherung.

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.

Projektbeschreibung

Stand der Arbeiten im Projektverbund am 30. Juni 1997

• Inhaltsübersicht (poscript file)
• Bericht (poscript file)

Projektpartner

• Universität Bremen
  Prof. Dr. B. Krieg-Brückner, Prof. Dr. J.Peleska
• Universität Oldenburg
  Prof. Dr. E.-R.Olderog
• Elpro LET GmbH, Berlin
  Prof. Dr. D. Balzer, A. Baer

Kontaktadresse

Prof. Dr. Bernd Krieg-Brückner, Koordinator
Bremer Institut für Sichere Systeme
TZI, FB3 Mathematik und Informatik
Universität Bremen
Postfach 330 440
D - 28334 Bremen

Tel.: (+49) 421-218-3660
fax: (+49) 421-218-3054
telex: 245 811 Uni D
bkb@Informatik.Uni-Bremen.DE

By Sabine Dick, last update Nov-17-1997