Project Details
Projekt
Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse
Applicant
Professor Dr.-Ing. Sebastian Engell
Subject Area
Automation, Mechatronics, Control Systems, Intelligent Technical Systems, Robotics
Term
from 2001 to 2003
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme
Priority Programmes
