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

在 SDL/MSC 和 VHDL 背景下开发优化实时系统的方法和工具

• 批准号: 5275402
• 负责人: Professor Dr.-Ing. Ulrich Herzog
• 金额: --
• 依托单位: Department Informatik
• 依托单位国家: 德国
• 项目类别: Priority Programmes
• 财政年份: 1996
• 资助国家: 德国
• 起止时间: 1995-12-31 至 2002-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5275402?language=en
• 关键词: Methodik; und; Werkzeuge; zur; Entwicklung

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.

Gegenstand des launfenden Projektes ist die Entwicklug einer enden Methodik zur Erstellung集成HW/SW-Systeme MIT Harten EchtzeitanForderungen and Deren Umsetzung dh ein Ensprechendes Rapid-Prototing-System.Ausgehend von einer formalen Formalen Spezifikation des Funcktionalen Verhalten Sowie der Echtzeitanforderungen auf base von antitierten SDL/MSCSpezifikationen soll eine Automatische Berechnung der Entwurfseneidungen(HW/SW-Partitionierung，Prioritätenvergabe等)。我是Nächsten Schritt Wird Dide Partitionierte Spezifikation Automated Auf eine Rapid-Prototing-Platform abgebildet。MIT的基本规范和方法都是有效的。我们正在研究多媒体系统，这些系统都是自动的，它们都是项目。在这十个阶段中，我们没有对这些项目和系统进行同步，也没有实现它们。一个Komplette自动地将硬件和软件从硬件和软件中分离出来。根据规范和自动实现多媒体技术和方法的研究和质量的方法和方法。