Detailseite
Projekt
Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse
Antragsteller
Professor Dr.-Ing. Sebastian Engell
Fachliche Zuordnung
Automatisierungstechnik, Mechatronik, Regelungssysteme, Intelligente Technische Systeme, Robotik
Förderung
Förderung von 2001 bis 2003
Projektkennung
Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5301549
Um das Ziel einer Verifikation von Systemen realer Komplexität zu erreichen, sind Techniken zur Strukturierung und Vereinfachung des Modells unabdingbar. In diesem Projekt wird daher der Schwerpunkt auf Methoden der Dekomposition und Abstraktion gelegt. Obwohl diese in der Ingenieurpraxis intuitiv allgemein üblich sind, ist es nicht einfach, diese Vorgehensweise zu formalisieren und exakt nachvollziehbar zu machen. Anhand des im ersten Antragsjahr aufbereiteten komplexen Fallbeispiels sollen unterschiedliche Abstraktions- und Dekompositionstechniken untersucht werden. Mit einem formalen Modell für das Fallbeispiel können die Ergebnisse verallgemeinert und einer größeren Systemklasse zugeführt werden. Dieser Fortsetzungsantrag beschreibt die Ziele für ein drittes Antragsjahr und Modifikationen für das zweite Jahr der Laufzeit, die aus den Ergebnissen der bisher geleisteten Arbeiten folgen.
DFG-Verfahren
Schwerpunktprogramme
