FORMUS 2016 - FORMUS?IC - Workshop of Multi-Core safe and software-intensive Systems Improvement Community

Vor Kurzem fand der Kickoff-Workshop des Forschungsvorhabens "Multi-Core safe and software-intensive Systems Improvement Community" (FORMUS?IC) am Forschungscampus Waischenfeld der Fraunhofer IIS statt. Im Forschungsverbund FORMUS?IC sind die TH Nürnberg, die OTH Regensburg, die OTH Amberg-Weiden und die TH Ingolstadt sowie die Hochschule München und die Friedrich-Alexander-Universität Erlangen-Nürnberg vertreten. Von Seiten der Industrie nehmen die Unternehmen AIRBUS, AUDI AG, Continental Automotive GmbH, Elektrobit Automotive GmbH, Infineon AG, iNTENCE automotive electronics GmbH, Timing-Architects Embedded Systems GmbH und XKRUG GmbH teil.
Im Forschungsverbund soll durch eine ausgeprägte Fokussierung auf einen ganzheitlichen Ansatz die Bewältigung der durch heterogene Multi-/Many-Core-Architekturen entstehenden Herausforderungen für Automotive und Avionik gelöst werden. Das zu entwickelnde ganzheitliche Lösungskonzept spiegelt sich in der Berücksichtigung der gesamten Bandbreite abstrakter Entwurfsmethodiken in den einzelnen Teilprojekten wider. Beginnend bei der formalen Verifikation über die Modellierung des Software-Entwurfs und endend bei der Virtualisierung von Hardware mit dem Ziel, Scheduling, Energieeffizienz und Sicherheit in Automotive- und Avionik-Applikationen zu optimieren. In FORMUS?IC soll sowohl ein wissenschaftlicher als auch technischer Beitrag zur Anpassung des Entwicklungsprozesses an die neuen Herausforderungen durch Multi- und Many-Core Systeme geleistet werden.