Eingebettete Systeme werden bezüglich vieler und oft konkurrierender Zielgrößen optimiert und unterliegen dabei stringenten Beschränkungen z.B. bezüglich Größe, Kosten, Performance und Energieverbrauch. Der Entwurf solcher Systeme wirft eine Reihe neuartiger Probleme auf, insbesondere 1) die Frage der Auswahl von Prozessor-, Speicher- und Kommunikationskomponenten, 2) die Partitionierung einer Spezifikation in Hard- und Software, 3) die automatische Synthese von Interface- und Kommunikationsstrukturen und 4) die Verifikation.
- Überblick und Vergleich von Architekturen für heterogene Einchip-Mehrkernprozessorsysteme (engl. MPSoC, Multi-Processor System on Chip) und On-Chip-Netzwerke (engl. NoC, Network on Chip)
- Verfahren zum Entwurf eingebetteter Multi-Prozessor-Systeme:Hardware/Software-Partitionierung bzw. Verfahren zur Taskverteilung, Schätzungsverfahren, Performanceanalyse
- Kommunikationssynthese:Kommunikationsarten, Synchronisation, SyntheseEntwurfsraumexploration
- Verifikation und virtuelle Prototypisierung |
