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

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

Ziel der Projekte ist die Entwicklung einer Methodik zur Verifikation verteilter, diskreter Steuerungssysteme, die die Grenzen der bisher realisierten, nur auf algorithmischen Analyseverfahren beruhenden Ansätzen überwinden soll. Weiterhin geht es um die Bereitstellung von Übersetzungsalgorithmen zwischen Beschreibungsmitteln, um diese Funktionen auch für Spezifikationen mit Sequential Function Charts zugänglich zu machen und so die Entwicklung von industrieller, anwenderprogrammierter Steuerungssoftware effizienter und sicherer zu gestalten.