课题基金 / 基金详情

Modellbasierter Entwurf von Hardware-Software-Systemen mit synchronen Sprachen

Modellbasierter Entwurf von Hardware-Software-Systemen mit synchronen Sprachen
使用同步语言的基于模型的软硬件系统设计
批准号:
46404603
负责人:
Professor Dr. Klaus Schneider
金额:
$0.0万
依托单位国家:
德国
项目类别:
Research Grants
财政年份:
2007
资助国家:
德国
项目状态:
已结题
起止时间:
2006-12-31 至 2013-12-31

项目摘要

项目成果

Professor Dr. Klaus Schneider的其他基金

相似基金

相关文献

中文摘要
翻译
In der ersten Förderperiode wurden Verfahren zur Übersetzung von synchronen Programmen in Software- und Hardware-Beschreibungen weiterentwickelt.随着发展一个基本的Zwischensprache和一个zugehörigen Übersetzungsverfahren konten wir eintweit einmaliges Verfahren zur modularen Übersetzung von synchronen Programmen entwickeln,so dass nun auch Bibliotheken angelegt and wieder verwendet韦尔登knen. Von dieser Zwischensprache wurden Übersetzungen in Sprachen mit anderen Ausführungmodellen wie SystemC entwickelt,um von deren effizienten Simulationsumgebungen zu profitieren. Um die manchmal unnötig starken Restriktionen des synchronen Ausführungsmodells umgehen zu können,wurden speziell auf synchrone Sprachen zugeschnittene Code-Optimierungen entwickelt.在第一个Förderperiode,我们开始了第一个工作,以合成并行程序架构的软件。在第二次世界大战期间,这场战争必须继续韦尔登。Dabei is geplant,synchrone Sprachen um dort neue Konzept der Untertakte zu erweitern,so dass dem Programmer explizite Sprachmittel zur Verfügung stehen,mit denen zeitlich lose gekoppelte Threads beschrieben韦尔登könnnen,ohne dabei den Determinismus dieser System zu verlieren.新语言结构的语义学和语义学的研究是对新语言结构的模拟、分析和优化的一个重要基础。Die damit gewonnenen Spielränen für die Synthese sollen durch speziell dafür entwickelte Optimierungsverfahren genutzt韦尔登,um effiziente Software für aktuelle parallele Prozessorarchitekturen wie Multicore-,Grafik-and VLIW-Prozessoren zu entwickeln.韦尔登在第一个Förderperiode开始优化我们的数据库,使数据库在韦尔登的系统中变得更加灵活和有效。
英文摘要
In der ersten Förderperiode wurden Verfahren zur Übersetzung von synchronen Programmen in Software- und Hardware-Beschreibungen weiterentwickelt. Durch die Entwicklung einer geeigneten Zwischensprache und einem zugehörigen Übersetzungsverfahren konnten wir ein weltweit einmaliges Verfahren zur modularen Übersetzung von synchronen Programmen entwickeln, so dass nun auch Bibliotheken angelegt und wieder verwendet werden können. Von dieser Zwischensprache wurden Übersetzungen in Sprachen mit anderen Ausführungsmodellen wie SystemC entwickelt, um von deren effizienten Simulationsumgebungen zu profitieren. Um die manchmal unnötig starken Restriktionen des synchronen Ausführungsmodells umgehen zu können, wurden speziell auf synchrone Sprachen zugeschnittene Code-Optimierungen entwickelt. Ferner haben wir in der ersten Förderperiode bereits mit den ersten Arbeiten zur Synthese von Software für parallele Prozessorarchitekturen begonnen. In der hier beantragten zweiten Förderperiode sollen diese Verfahren weiter ausgebaut werden. Dabei ist geplant, synchrone Sprachen um das dort neue Konzept der Untertakte zu erweitern, so dass dem Programmierer explizite Sprachmittel zur Verfügung stehen, mit denen zeitlich lose gekoppelte Threads beschrieben werden können, ohne dabei den Determinismus dieser Systeme zu verlieren. Neben der Syntax und Semantik der neuen Sprachkonstrukte sind hierzu grundsätzlich neue Verfahren zur Simulation, Kausalitätsanalyse und Übersetzungen in die Zwischensprache zu entwickeln. Die damit gewonnenen Spielräume für die Synthese sollen durch speziell dafür entwickelte Optimierungsverfahren genutzt werden, um effiziente Software für aktuelle parallele Prozessorarchitekturen wie Multicore-, Grafik- und VLIW-Prozessoren zu entwickeln. Dazu werden die von uns in der ersten Förderperiode entwickelten Optimierungsverfahren so angepasst und erweitert, dass Datenabhängigkeiten präziser abgeschätzt und lokale Aktionen zeitlich im System verschoben werden können.
期刊论文(4)
专著(0)
科研奖励(0)
会议论文
Clock refinement in imperative synchronous languages
命令式同步语言中的时钟细化
DOI: 10.1186/1687-3963-2013-3
发表时间: 2013
期刊: EURASIP Journal on Embedded Systems
影响因子: --
作者: [Gemünde, Brandt, Schneider]
通讯作者: Schneider
DOI: 10.1007/s10766-013-0277-2
发表时间: 2013
期刊: International Journal of Parallel Programming
影响因子: 1.5
作者: [Baudisch, Schneider]
通讯作者: Schneider
Constructive polychronous systems
构造性多时系统
DOI: 10.1016/j.scico.2014.04.009
发表时间: 2014
期刊:
影响因子: --
作者: [Talpin, J.-P. , Brandt, Gemünde, Schneider, Shukla]
通讯作者: Shukla
DOI: 10.1109/pdp.2014.98
发表时间: 2014
期刊: 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing
影响因子: --
作者: [Baudisch, Schneider]
通讯作者: Schneider
SCAD: Synchronous Control Asynchronous Dataflow (SCAD) Architectures
  • 批准号:
    424386388
  • 项目类别:
    Research Grants
  • 资助金额:
    $0.0万
  • 财政年份:
    2020
  • 负责人:
    Professor Dr. Klaus Schneider
  • 依托单位:
Automatisierte Synthese von Programmausdrücken (AutoSynth)
  • 批准号:
    183475128
  • 项目类别:
    Research Grants
  • 资助金额:
    $0.0万
  • 财政年份:
    2010
  • 负责人:
    Professor Dr. Klaus Schneider
  • 依托单位:
海外基金