Formale Synthese verteilter Steuerungen

分布式控制的形式化综合

• 批准号: 14475508
• 负责人: Professor Dr.-Ing. Hans-Michael Hanisch
• 金额: --
• 依托单位: Lehrstuhl für Automatisierungstechnik (aufgelöst)
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2005
• 资助国家: 德国
• 起止时间: 2004-12-31 至 2009-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/14475508?language=en
• 关键词: 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.

Ziel des Vorhabens is es，formale Synthesemethoden für vertesilte Steuerungen zu erarbeiten und zu implementieren.大足韦尔登脊椎动物的应力模型和局部空间分布。Mittels struktureller Methoden zur Ermittlung von Netzpfaden und symbolischen Rückwärtsschalten韦尔登Teilsteuerungen für Teilstrecken bestimmt. Für jede Teilsteuerung韦尔登werden sowohl die Funktionalität zur Beeinflussung der zugehörigen Teilstreke als auch die notwendigen Kombikationsfunktionen zu anderen Teilsteuerungen synthetisiert.所有的结果都是由一个可验证的系统来完成的。根据IEC 61499标准，该控制器将在两个基本功能块中运行。在开发过程中，分析器需要测试，韦尔登功能块需要测试系统，分析器需要测试、实现和基准测试。自动化的失败可能是因为在街道上的一个单独的信息标记的问题。详细说明Angaben zu diesem and anderen Arbeitsinhalten韦尔登im Abschnitt 3.2 gemacht.