Formale Synthese verteilter Steuerungen

Ziel de Vorhabens ist es，合成方法[j]。大祖：街道模型与地方模型。mitels striktureller方法zur ermittrlung von Netzpfaden und symbolischen Rückwärtsschalten werden Teilsteuerungen fr teilstrrecken bestim。<s:1> jede Teilsteuerung werden sowohl die Funktionalität zur beinfussung der zugehörigen teilstreke也auch die not endigen Kommunikationsfunktionen zuderen Teilsteuerungen synthestisiert。译：结果表明，系统的稳定性，共青体的稳定性。Jede dieser Steuerungen在zwei的基本功能块符合IEC 61499 <e:1> berf<e:1> hrt。根据Entwicklungswerkzeugen， die bebem Antragsteller bereits verfgbar sind, die bebem Antragsteller bereits verfgbar sind, die bebem Antragsteller ebenfalls bereits verfgbar sind，实现和基准演示。Damit dies automatisiert ablaufen kann, ist die Lösung des Problems der eingeschränkten Messbarkeit von Zustandsgrößen in der Strecke not enddig。detail - liertere Angaben zu diesem and anderen Arbeitsinhalten werden im Abschnitt 3.2 gemacht。

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.