Toolgestützte Validierungsmethodik komplexer hybrider technischer Systeme

复杂混合技术系统的工具支持验证方法

• 批准号: 5362344
• 负责人: Professor Dr.-Ing. Gunter Reinig
• 金额: --
• 依托单位: Lehrstuhl für Regelungstechnik und Systemtheorie
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2002
• 资助国家: 德国
• 起止时间: 2001-12-31 至 2004-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5362344?language=en
• 关键词: Toolgest; tzte; Validierungsmethodik; komplexer; hybrider

Das Vorhaben hat zum Ziel, methodische und softwaretechnische Beiträge zur Spezifizierung und Validierung komplexer hybrider (kontinuierlich-diskreter) Systeme zu leisten. Insgesamt hat das Vorhaben eine engere automatisiertere Kopplung der verschiedenen Spezifikations- und Validierungsphasen zum Ziel. Eine wesentliche Anforderung an die zu entwickelnde Methode ist die Anwendbarkeit sowohl für Simulationsmodelle, als auch für Hardware-in-theLoop-Simulationen. Um das reale (bzw. prototypische) System mit Steuergeräten, intelligenter Sensorik/Aktorik und der Strecke testen zu können, müssen neue Methoden gefunden werden. In verschiedenen Bereichen der formalen Verifikation ist die Theorie bereits sehr fortgeschritten. Die Aussagen dieser Art der Verifikation hängen aber entscheidend von der Genauigkeit und Korrektheit der mathematischen Modelle und der formalen Spezifikation ab. Diese kann insbesondere für komplexe Systeme nicht garantiert werden. Außerdem stoßen diese Ansätze noch immer bereits bei mittelgroßen Systemen an praktische Anwendbarkeitsgrenzen ("kombinatorische Explosion"). Im geplanten Vorhaben soll daher eine gesamtheitliche Betrachtungsweise vorgenommen werden, bei der die Validierung des realen (prototypischen) Systems im Vordergrund steht. Das Vorhaben soll einen Beitrag leisten, den Mangel an theoretischen und praktischen Methoden auf diesem Gebiet zu verringern.

Das Vorhaben hat zum Ziel、methodische和softwaretechnische Beiträge zur Spezifizierung und Validierung komplexer hybrider（kontinuierlich-diskreter）Systeme zu leisten。因此，我们需要一个自动化的工程来完成验证和验证。Eine weesentliche Anforderung an die zu entwickelnde Methode ist die Anwendbarkeit sowohl für Simulationmodelle，als auch für Hardware-in-theLoop-Simulationen. Um das reale（bzw. prototypische）System mit Steuergeräten，intelligender Sensorik/Aktorik und der Strecke testen zu können，müssen neue Methoden gefunden韦尔登.在形式证明的实践中，该理论是非常有价值的。验证的艺术可以从数学模型的一般性和正确性以及形式化的空间分析中获得。这个复杂的系统不能保证韦尔登。Außerdem stoßen diese Ansätze noch immer bereits bei mittelgroßen Systemen an praktische Anwendbarkeitssozen（“kombinatorische Explosion”）.在对虚拟现实中的真实（原型）系统进行验证之前，我们需要一个通用的交互式韦尔登。这是一个很好的例子，它是一种理论和实践的方法来帮助我们解决这个问题。