UniForm: Inhalt

Universelle Entwicklungsumgebung für
Formale Methoden

Projektbeschreibung

1.Gesamtziel

1.1 Motivation

1.2 Ziele

2.Bezug zu förderpolitischen Zielen

2.1 Anwendungsbezogene Grundlagenforschung

2.2 Verbund aus Universitäten und Industriepartnern

2.3. Forschungsfeld

2.4. Bezug zur EU

3.Wissenschaftliche und technische Arbeitsziele

3.1. Motivation

3.2. Die UniForM Workbench

3.3. Kombination konkreter Methoden

3.4. Integration von Werkzeugen

3.5. Methodik der Kombination

3.6. Fallstudie dezentrale Bahnsteuerung

4. Erfolgsaussichten

4.1. Erreichbarkeit der Projektziele

4.1.1. Erfolg durch Spezialisierung

4.1.2. Erfolg durch Kombination bewährter Methoden

4.1.3. Vorhandene Kapazitäten

4.1.4. Zusammenarbeit mit anderen Forschungsstellen

4.2. Nutzbarkeit der Projektergebnisse

4.2.1. Wirtschaftliche Nutzung

4.2.2. Wissenschaftliche Nutzung

5.Stand der Wissenschaft und Technik

5.1.Formale Methoden

5.2.Entwicklungswerkzeuge für Formale Methoden
5.3.Entwicklungsumgebungen für Formale Methoden

6.Bisherige Arbeiten der Antragsteller

6.1.Universität Bremen, Hauptantragsteller

6.2.Universität Oldenburg

6.3.Elpro LET GmbH, Berlin

7.Arbeitsplan

7.1.Kombination von Methoden

7.2.Universelle Entwicklungsumgebung

7.3.Integration von Entwicklungswerkzeugen

8.Literatur und Veröffentlichungen

8.1.Literatur

8.2.Veröffentlichungen vor Beginn des Projekts

8.3.Veröffentlichungen im Rahmen des UniForM Projekts