The Transregional Collaborative Research Center Invasive Computing (InvasIC) investigates novel design and programming paradigms for resource-aware programming of future parallel many-core computing systems. It explores the challenges and requirements to efficiently utilise hundreds, thousands, or even more cores on a single chip, where traditional system software and programming techniques reach their limits.
Subproject C1, which includes groups at the Friedrich-Erlangen-Universität Erlangen-Nürnberg (FAU), the Karlsruhe Institute of Technology (KIT), and this group, investigates the enforcement of quality criteria of mixed criticalty as to timing and energy consumption at system-software level. This includes, for example, the enforcement of resource corridors (e.g., time, power), which are enforced by the invasive run-time support system (iRTSS). An effective enforcement requires accurate and efficient resource models and measurements, which introduce no or only little operating-system noise and are developed in the context of this project.