Methodik und Werkzeuge zur Entwicklung optimierter Echtzeitsysteme im Kontext von SDL/MSC und VHDL

项目的开发是一种通过快速原型系统进行硬件/软件系统集成的方法。在注释SDL/MSC Spezifikationen的基础上，对Echtzeitanforderungen所定义的一个功能性验证进行正式的Spezifikation，解决了Entwurfsentscheidungen（HW/SW-分区、优先级验证等）的自动化问题。Im nächsten Schritt wird die partitionierte Spezifikation automatisch auf eine Rapid-Prototyping-Platform abgebildet. Mit Hilfe einer durchgängigen spezifikationsbasierten Meetings- und Bewertungsmethodik韦尔登die Entwurfsvorgang auf einem Prototypensystem validiert.一个正在进行的研究，一个多媒体系统的自动监测，由项目公司负责。在项目的第二阶段，系统综合和实施综合是韦尔登和系统化的。Eine komplette automatisierte Meßmethodik für Hardware- und Softwarekomponenten ist zu entwickeln und in den Entwurfsprozezeplant zu integrieren.基于多媒体时代批评的特征化和自动化实施的基础，我们将进行一项旨在确定方法质量和工作效率的研究。

Gegenstand des laufenden Projektes ist die Entwicklung einer durchgängigen Methodik zur Erstellung integrierte HW/SW-Systeme mit harten Echtzeitanforderungen und deren Umsetzung durch ein entsprechendes Rapid-Prototyping-System. Ausgehend von einer formalen Spezifikation des funktionalen Verhaltens sowie der Echtzeitanforderungen auf der Basis von annotierten SDL/MSCSpezifikationen soll eine automatische Berechnung der Entwurfsentscheidungen (HW/SW-Partitionierung, Prioritätenvergabe, etc) erfolgen. Im nächsten Schritt wird die partitionierte Spezifikation automatisch auf eine Rapid-Prototyping-Plattform abgebildet. Mit Hilfe einer durchgängigen spezifikationsbasierten Meß- und Bewertungsmethodik werden die Entwurfsvorgang auf einem Prototypensystem validiert. Eine umfangreiche Entwurfsstudie, die automatische Umsetzung eines Multimediasystems, rundet das Projekt ab. In der letzten Phase des Projektes sollen die Systemsynthese und die Implementierungssynthese weiterentwickelt und systematisch bewertet werden. Eine komplette automatisierte Meßmethodik für Hardware- und Softwarekomponenten ist zu entwickeln und in den Entwurfsprozeß zu integrieren. Auf der Basis der Spezifikation und der automatischen Implementierung des zeitkritischen Multimediadienstes wird eine umfangreiche Entwurfsstudie zur Beurteilung der Qualität der Methodik und der Werkzeuge durchgeführt.