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

这是一个非常复杂的系统验证，它是一种结构化技术，也是一种不受约束的模型验证。在这个项目中，我们将采用分解和抽象的方法来进行Schwerpunkt。显然，在工程实践中，这是一种直观的感觉，它不是一种简单的形式，它是一种形式化的形式，它是一种机械。在前一个世纪，复杂的瀑布模型需要复杂的抽象和合成技术。Mit einem formalen Modell für das Fallbeispiel können die Ergebnisse verallgemeinert und einer größeren Systemklasse zugeführt韦尔登.这一次的胜利是为了纪念这一年的胜利，为了纪念这一年的胜利。

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.