权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Modellbasierter Entwurf von Hardware-Software-Systemen mit synchronen Sprachen

使用同步语言的基于模型的软硬件系统设计

基本信息

批准号：
46404603
负责人：
Professor Dr. Klaus Schneider
金额：
--
依托单位：
Arbeitsgruppe Eingebettete Systeme
依托单位国家：
德国
项目类别：
Research Grants
财政年份：
2007
资助国家：
德国
起止时间：
2006-12-31 至 2013-12-31
项目状态：
已结题

来源：
https://gepris.dfg.de/gepris/projekt/46404603?language=en
关键词：
Modellbasierter Entwurf von Hardware Software

项目摘要

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.

In der ersten Förderperiode wurden Verfahren zur Übersetzung von synchronen Programmen In Software and Hardware-Beschreibungen weiterentwickelt。Durch die Entwicklung einer geeigneten Zwischensprache und einem zugehörigen Übersetzungsverfahren konnten wiir ein weltweit einmaliges Verfahren zur modularen Übersetzung von synchronen Programmen entwickeln, so dass nun auch Bibliotheken angelegt and wider verwendet werden können。Von dieser Zwischensprache wurden Übersetzungen in Sprachen mit anderen ausf<e:1> hrungsmodellen wie SystemC entwickelt, um Von dereneffizienten Simulationsumgebungen zu proftieren。Um die manchmal unnötig starken striktionen des synchronen ausf<e:1> hrungsmodells umgehen zu können, wurden speziell auf synchrone Sprachen zugeschnitene Code-Optimierungen entwickelt。Ferner haben wir in der ersten Förderperiode bereits mit den ersten Arbeiten zur Synthese von Software f<e:1> r parallel Prozessorarchitekturen begonnen。In der hier beantragten zweiten Förderperiode sollen diese Verfahren weiter ausgebaut werden。Dabei是geplant,同时说嗯das要点neue Konzept der Untertakte祖茂堂erweitern,所以dass民主党Programmierer explizite Sprachmittel苏珥Verfugung模特大赛,麻省理工学院denen zeitlich beschrieben了可以在失去gekoppelte线程,ohne Dabei窝Determinismus这位和祖茂堂verlieren。Neben der Syntax and Semantik der neuen spachkonstrute sind hierzu grundsätzlich neuue Verfahren zur Simulation, Kausalitätsanalyse and Übersetzungen in die zwischenspachhe zu entwickeln。Die damit gewonnenen Spielräume f<e:1> r Die Synthese sollen durch speziell daf<s:1> r entwickelte Optimierungsverfahren genutzt werden, um effiziente Software f<e:1> r aktuelle parallel Prozessorarchitekturen wimulticore -, Grafik- and vliw - prozesssoren zuentwickeln。大祖werden die von uns in der ersten Förderperiode entwickelten Optimierungsverfahren so angep助理und erweitert， dass Datenabhängigkeiten präziser abgeschätzt and lokale Aktionen zeitlich im System verschoben werden können。