Methodik und Werkzeuge zur Entwicklung optimierter Echtzeitsysteme im Kontext von SDL/MSC und VHDL
Methodik und Werkzeuge zur Entwicklung optimierter Echtzeitsysteme im Kontext von SDL/MSC und VHDL
批准号:
5275402
负责人:
Professor Dr.-Ing. Ulrich Herzog
金额:
$0.0万
依托单位:
依托单位国家:
德国
项目类别:
Priority Programmes
财政年份:
1996
资助国家:
德国
项目状态:
已结题
起止时间:
1995-12-31 至 2002-12-31
中文摘要
Gegenstand des laufenden Projektes ist die Entwicklung einer durchgängigen Methodik zur Erstellung integrated HW/ sw - system mit harten Echtzeitanforderungen and deren Umsetzung durch in entsprechendes快速原型系统。Ausgehend von einer formalen spezifiation des functionalen Verhaltens sowie der Echtzeitanforderungen auder Basis von annotierten SDL/MSCSpezifikationen soline automatische Berechnung der Entwurfsentscheidungen (HW/SW-Partitionierung, Prioritätenvergabe等)erfolgen链接本文:nächsten Schritt风模分模的标准化、自动化、快速成型平台。Mit hilife einer durchgängigen speizfikationsbasierten Meß- and Bewertungsmethodik werden die Entwurfsvorgang auf einem Prototypensystem validert。在此基础上,本文介绍了模具系统综合与模具实现综合、模具系统综合与模具系统综合、模具系统综合与模具系统综合。硬件和软件组件是完全自动化的,而集成是完全自动化的。参考文献:参考文献:参考文献:参考文献:参考文献:参考文献:参考文献:参考文献:参考文献:参考文献:参考文献:参考文献:参考文献:参考文献:参考文献:参考文献:参考文献:参考文献:参考文献:参考文献:
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Effiziente Leistungsbewertung mit Hilfe von Entscheidungsdiagrammen
-
批准号:5296896
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2001
-
负责人:Professor Dr.-Ing. Ulrich Herzog
-
依托单位:
Automatische Verifikation von Qualitätsmerkmalen verteilter Systeme
-
批准号:5176626
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:1999
-
负责人:Professor Dr.-Ing. Ulrich Herzog
-
依托单位:
海外基金