Universität Bremen  
  FB 3  
  Group BKB > Deutsch
English
 

UniForM Workbench

 

Universal Formal Methods Workbench


Academic and industrial partners are developing a universal development environment for formal methods. The Project UniForM Workbench is sponsored by the BMBF from 1995 until 1998.


Project Objectives

The development of reliable software for industrially relevant tasks demands a suitable tool-supported combination of formal methods.

The UniForM Workbench is a generic framework, instantiated with specific tools for methods to handle communicating distributed systems and real-time requirements. The combination of methods in a logically consistent way and the development of correct transformation tools, a basic aspect of quality assurance, are demonstrated.

The industrial potential of the UniForM Workbench is illustrated by a case study from industry, the development of a decentralized control unit for single-track tramway networks.

Project Description (detailed Contents)


Project Partners


Contact Address

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

 
   
Author: Sabine Dick
 
  Group BKB 
Last updated: November 14, 2001   impressum