Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse

点击翻译按钮获取中文摘要

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.