System-level Design Automation
In der Arbeitsgruppe System-Level Design Automation (SDA) wird der automatische Entwurf eingebetteter Hardware-Software-Systeme auf Systemebene erforscht. Hierzu gehören u. a. die Bereiche Modellierung, Systemsynthese und Optimierung eingebetteter Systeme.
Hierbei werden Anwendungen und verfügbare Architekturen durch Systembeschreibungssprachen modelliert, auf deren Basis simulative wie formale Analyseverfahren automatisch angewendet und Hardware- sowie Softwarekomponenten generiert werden können. Ein spezieller Fokus ist hierbei die Betrachtung mehrerer konkurrierender Qualitätsmerkmale wie Rechtzeitigkeit, Zuverlässigkeit, Kosten oder Energieverbrauch. Aus diesem Grund erforscht die Gruppe SDA neuartige Verfahren im Bereich der Mehrzieloptimierung. Die entwickelten Methoden finden eine breite Anwendung, von mobilen Endgeräten, über Vielkernrechensysteme, bis zu verteilten Systemen wie beispielsweise dem Bordnetz im Automobil.
Aktuell laufende Projekte
- InvasIC: Sonderforschungsbereich/Transregio 89 — Invasives Rechnen
- Grundlagen Invasiven Rechnens (A01)
- Charakterisierung und Analyse Invasiver Algorithmen zur Entwurfszeit (A04)
- Invasive eng gekoppelte Prozessorfelder (B02)
- Übersetzung und Code-Erzeugung für Invasive Programme (C03)
- TCPA_INT – Integration und Verbindung von eng gekoppelten Prozessorfeldern (T01)
- Zentrale Dienste des SFB/Transregio und Öffentlichkeitsarbeit (Z01)
- Validierung und Demonstrator (Z02)
Open Source Projekte
Abgeschlossene Projekte
- AEOS
- Automobilsensorik@ESI
- CogniPower
- CRAU
- DIANA
- GEFA
- HLESI
- INI.FAU: Entwurf und Evaluierung hochverfügbarer Ethernet-basierter E/E-Architekturen für latenz- und sicherheitskritische Anwendungen
- INI.FAU: Integrale Sicherheitsarchitektur – Modellierung, Analyse, Optimierung und Variantenmanagement
- JReliability
- KoDaK
- PowerEval
- SEIS
- SFB694 Teilprojekt B5
- SpecVer
- SystemC-basierte Performance-Abschätzung des Channel-Subsystems der System z Architektur