Formale Synthese verteilter Steuerungen

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

Ziel des Vorhabens ist es, formale Synthesemethoden für verteilte Steuerungen zu erarbeiten und zu implementieren. Dazu werden verteilte Streckenmodelle und lokale Spezifikationen verwendet. Mittels struktureller Methoden zur Ermittlung von Netzpfaden und symbolischen Rückwärtsschalten werden Teilsteuerungen für Teilstrecken bestimmt. Für jede Teilsteuerung werden sowohl die Funktionalität zur Beeinflussung der zugehörigen Teilstrecke als auch die notwendigen Kommunikationsfunktionen zu anderen Teilsteuerungen synthetisiert. Als Resultat ergibt sich ein System von verteilten, untereinander kommunizierenden Steuerungen. Jede dieser Steuerungen wird in zwei Basic Function Blocks nach IEC 61499 überführt. Unter Nutzung von Entwicklungswerkzeugen, die beim Antragsteller bereits verfügbar sind, werden die Function Blocks dann auf verteilten Steuerungsystemen, die beim Antragsteller ebenfalls bereits verfügbar sind, implementiert und an Benchmarks demonstriert. Damit dies automatisiert ablaufen kann, ist die Lösung des Problems der eingeschränkten Messbarkeit von Zustandsgrößen in der Strecke notwendig. Detailliertere Angaben zu diesem und anderen Arbeitsinhalten werden im Abschnitt 3.2 gemacht.