SFB 501 Teilprojekt C1 Formale Beschreibungstechniken

English

Übersicht

• Zusammenfassung
• Fallstudien
• Mitarbeiter
• Veröffentlichungen
• Bibliographien

Zusammenfassung

Die Verwendung formaler Beschreibungstechniken kann die Entwicklung großer Systeme erleichtern, indem das Erstellen präziser Beschreibungen unterstützt wird und automatische Analysen von Beschreibungen ermöglicht werden. Ziel des Teilprojektes C1 ist es, die methodische Verwendung formaler Beschreibungstechniken zu erforschen und zu verbessern.

Die Untersuchungen werden im Kontext der Anwendungsdomäne Gebäudeautomatisierung durchgeführt. Außerdem unterstützt das Teilprojekt C1 die übrigen Teilprojekte bei der Verwendung formaler Beschreibungstechniken.

Konkret werden die folgenden Forschungsvorhaben durchgeführt:

• Kombination formaler Beschreibungstechniken am Beispiel von TLA und statecharts
• Kriterien zur Analyse von Beschreibungstechniken
• Formale, objektorientierte Problemspezifikationen: Der FOREST-Ansatz
  (Kooperation mit Teilprojekt B4)

Fallstudien

Simulator

Der zentrale Teil eines ereignisgesteuerten Simulator für Wärmefluß innerhalb von Gebäuden wurde spezifiziert, um die Eignung bestimmter formaler Methoden zu untersuchen.

FOREST-Problemspezifikation

Die vollständige Problemspezifikation eines Systems für die Licht- und Temperaturkontrolle eines Stockwerks eines Gebäudes der Universität Kaiserlautern wurde mit Hilfe des FOREST-Ansatzes erstellt.

Mitglieder

• Prof. Dr. J. Avenhaus
• Prof. Dr. K. Madlener
• Thomas Deiß
• Robert Eschbach
• Martin Kronenburg

Veröffentlichungen

• Veröffentlichungen des SFB 501
• Technische Berichte des SFB 501
• Veröffentlichungen der beteiligten Arbeitsgruppen: AG Avenhaus, AG Madlener

Bibiographien