Im Forschungsverbund soll durch eine ausgeprägte Fokussierung auf einen sogenannten ganzheitlichen Ansatz die durch heterogene Multi-/Many-Core-Architekturen entstehenden Herausforderungen im Bereich Automotive und Avionik angenommen und bewältigt werden. Das zu entwickelnde holistische Lösungskonzept spiegelt sich in der Berücksichtigung der gesamten Bandbreite abstrakter Entwurfsmethodiken in den einzelnen Teilprojekten. Ziel ist es, beginnend bei der formalen Verifikation über die Modellierung des Software-Entwurfs und endend bei der Virtualisierung von Hardware, Scheduling, Energieeffizienz und Sicherheit in Automotive- und Avionik-Applikationen zu optimieren.
