Toolgestützte Validierungsmethodik komplexer hybrider technischer Systeme

[1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [2]在此基础上，提出了Vorhaben工程自动化的概念和方法，并对其进行了验证。本文提出了一种新型的仿真模型，即系统仿真模型、系统仿真模型、系统仿真模型、系统仿真模型。嗯，这是真的。系统mit Steuergeräten，智能感知系统（Sensorik/Aktorik und der streke testen zu können），智能感知系统（sensenneue Methoden gefunden werden）。在verschiedenen verichen der formalen中，verschiedenen的理论证明是正确的。数学模型与形式化定义实验室。数学模型与形式化定义实验室。数学模型与形式化定义实验室。数学模型与形式化定义实验室。Außerdem stoßen diese Ansätze noch immer bereits bei mittelgroßen Systemen and praktische Anwendbarkeitsgrenzen（“组合爆炸”）。我的父亲，我的父亲，我的父亲，我的父亲，我的父亲，我的父亲，我的父亲，我的父亲，我的父亲，我的父亲，我的父亲，我的父亲，我的父亲，我的父亲，我的父亲，我的父亲，我的父亲，我的父亲。由于Vorhaben solinen Beitrag lelisten，所以Mangel和理论schen和实践schen方法auf diesem Gebiet zu verringern。

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.