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, German only)

Project Partners

• 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

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