Methoden zur modellbasierten Programmierung autonomer Systeme

自治系统基于模型的编程方法

• 批准号: 5390092
• 负责人: Dr. Martin Sachenbacher
• 金额: --
• 依托单位: Institut für Softwaretechnik und Programmiersprachen (ISP)
• 依托单位国家: 德国
• 项目类别: Research Fellowships
• 财政年份: 2002
• 资助国家: 德国
• 起止时间: 2001-12-31 至 2004-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5390092?language=en
• 关键词: Methoden; zur; modellbasierten; Programmierung; autonomer

Modellbasierte Programmierung unterstützt die Entwicklung von Software für eingebettete und reaktive Systeme durch eine zusätzliche, wissenbasierte Schicht, welche auf Basis eines Systemmodells und der verfügbaren Beobachtungen den aktuellen Systemzustand einschätzt (Diagnosekomponente) bzw. einen gewünschten Zielzustand herstellt (Planungskomponente). Dies erlaubt einen Schritt hin zu höhersprachlichem Programmcode, was die Entwicklung von Software und deren Anpassung an Systemvarianten - z.B. in der Anlagen- und Automobiltechnik, in der Luft- und Raumfahrt - wesentlich vereinfacht. Für zeit- und speicherplatzkritische Anwendungen, wie sie vor allem im Bereich autonomer Systeme auftreten, ist dabei die Adäquatheit des verwendeten Modells sowie die Effizienz der eingesetzten Inferenzalgorithmenvon entscheidender Bedeutung. Hierzu sollen an der TU München entwickelte Methodender automatischen qualitativen Modellabstraktion und der strukturellen Dekomposition von constraintbasierten Verhaltensmodellen im Rahmen von modellbasierter Programmierungeingesetzt und weiter verfeinert werden. Das Forschungsvorhaben soll in Kooperation mit dem Artificial Intelligence Laboratory/Space Systems Laboratory am Massachusetts Instituteof Technology (Cambridge, USA) durchgeführt werden.

Modellbasierte Programmierung unterstützt die Entwicklung von Software für eingebettete und rektive Systeme durch eine zätzliche，wissenbasierte Schicht，welche auf Basis eines Systemmodells und der verfügbaren Beobachtungen den aktuellen Systemzustand einschätzt（Diagnosekomponente）bzw. einen gewünschten Zielzustand herstelt（Planungskomponente）.这是一个非常简单的程序代码，它是软件开发和系统变量转换的产物。在建筑和汽车技术领域，在航空和航天领域，我们都有共同的事业。Für zeit- und speicherplatzkritische Anwendungen，wie sie vor allem im Bereich Schumer Systeme auftreten，ist dabei die Adäquatheit des verwendeten Models sowie die Effizienz der eingesetzten Inferenzalgorithmenvon entscheidender Bedeutung. Hierzu sollen an der TU München entwickelte Methodender automatischen qualitativen Modellabstraktion und der strukturellen Dekomposition von constraintbasierten Verhaltensmodellen im Rahmen von modelbasierter Programmierungeingesetzt und weiter verfeinert韦尔登.该研究是在马萨诸塞州理工学院（美国剑桥）的人工智能实验室/空间系统实验室的合作下进行的。