Universität Bremen  
  FB 3  
  AG BKB > Deutsch
English
 

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


Projektpartner


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

 
   
Autor: Sabine Dick
 
  AG BKB 
Zuletzt geändert am: 14. November 2001   impressum