课题基金 / 基金详情

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
在 SDL/MSC 和 VHDL 背景下开发优化实时系统的方法和工具
批准号:
5275402
负责人:
Professor Dr.-Ing. Ulrich Herzog
金额:
$0.0万
依托单位:
依托单位国家:
德国
项目类别:
Priority Programmes
财政年份:
1996
资助国家:
德国
项目状态:
已结题
起止时间:
1995-12-31 至 2002-12-31

项目摘要

项目成果

Professor Dr.-Ing. Ulrich Herzog的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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
  • 依托单位:
海外基金