Hierarchische Modellierung im HW/SW-Codesign mit synchronen und asynchronen Abstraktionsebenen

[2][参考文献][HW/SW-Entwurfsmethodiken verwenden meist verschiedene Sprachen， die sirer Abstraktionsebene] and dem zugrundeliegenden ausf<s:1> hengsmodell unterscheiden]。Diese Heterogenität erschwert模具集成模型basierter和组件basierter Techniken。In diesem Forschungsprojekt wind daher ein einheitliches komponentenmodelell frden gesamten Entwurfsablauf entwickelt， das同步和异步Beschreibungen层次集成。Einzelne Systemteile können dann entsprechend ihrer Anforderung in iner synchronen oder asynchronen spachhe beschrieben werden，这是一种基于konponenten zurkkgegriffen werden kann的方法。在komponentenmodel模型中，风力发电机的风力发电机的风力发电机的风力发电机的风力发电机的风力发电机的风力发电机的风力发电机的风力发电机sprachunabhängige Repräsentation的风力发电机的风力发电机的风力发电机的风力发电机的风力发电机。Zusätzlich祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖·祖摘要/ abstract摘要/ abstract摘要/ abstract摘要/ abstract摘要/ abstract摘要/ abstract伪变换在逻辑上的解析höherer伪形式化与伪形式化ßend mit einem interaktiven theorem和veriziert werden。在组件模型研究中，仿真与仿真研究是一个重要课题。第1部分：基础设施综合系统；第2部分：构件模型。该整体模型可用于定义、转换、原型设计、实现和评估等方面。

Bisherige HW/SW-Entwurfsmethodiken verwenden meist verschiedene Sprachen, die sich in ihrer Abstraktionsebene und dem zugrundeliegenden Ausführungsmodell unterscheiden. Diese Heterogenität erschwert die Integration modellbasierter und komponentenbasierter Techniken. In diesem Forschungsprojekt wird daher ein einheitliches Komponentenmodell für den gesamten Entwurfsablauf entwickelt, das synchrone und asynchrone Beschreibungen hierarchisch integriert. Einzelne Systemteile können dann entsprechend ihrer Anforderung in einer synchronen oder asynchronen Sprache beschrieben werden, wobei auf beliebige andere Komponenten zurückgegriffen werden kann. Im Komponentenmodell wird dies durch die sprachunabhängige Repräsentation des Verhaltens mit Hilfe bedingter Aktionen und generischer Schnittstellen erreicht. Zusätzlich zu dem eigentlichen Komponentenmodell sollen wesentliche Elemente einer darauf aufbauenden Methodik entwickelt werden, die den Entwurfsprozess auf eine Reihe von Transformationen auf den Komponenten des Systems abbildet. Wichtigste Bestandteile sind die Übersetzung synchroner und asynchroner Systemteile in Modelle niedrigerer Abstraktionsebene mit jeweils anderem Ausführungsmodell. Diese Transformationen sollen in Logik höherer Stufe formalisiert und anschließend mit einem interaktiven Theorembeweiser verifiziert werden. Daneben sollen verschiedene Eingabesprachen in das Komponentenmodell übersetzt und existierende Simulationsumgebungen angebunden werden. Ferner ist eine grundlegende Infrastruktur für eine Synthese aus dem Komponentenmodell geplant. Das entwickelte Modell sowie die darauf definierten Transformationen sollen in einem prototypischen Werkzeug implementiert und evaluiert werden.