Time, Energy and Security Analysis for Multi-/Many-Core heterogeneous Platforms (TeamPlay)
The TeamPlay project aims to develop new, formally-motivated, techniques that will allow execution time, energy usage, security, and other important non-functional properties of parallel software to be treated effectively, and as first-class citizens. We will build this into a toolbox for developing highly parallel software for low-energy systems, as required by the internet of things, cyber-physical systems etc. The TeamPlay approach will allow programs to reflect directly on their own time, energy consumption, security, etc., as well as enabling the developer to reason about both the functional and the non-functional properties of their software at the source code level.
Our success will ensure significant progress on a pressing problem of major industrial importance: how to effectively manage energy consumption for parallel systems while maintaining the right balance with other important software metrics, including time, security etc. The project brings together leading industrial and academic experts in parallelism, energy modeling/transparency, worst-case execution time analysis, non-functional property analysis, compilation, security, and task coordination. Results will be evaluated using industrial use cases taken from the computer vision, satellites, flying drones, medical and cybersecurity domains.
- Benjamin Rouxel, Christopher Brown, Emad Ebeid, Kerstin Eder, Heiko Falk, Clemens Grelck, Jesper Holst, Shashank Jadhav, Yoann Marquer, Marcos Martinez De Alejandro, Kris Nikov, Ali Sahafi, Ulrik Schultz, Adam Seewald, Vangelis Vassalos, Simon Wegener and Olivier Zendra (2023). The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems. [Abstract]
- Shashank Jadhav and Heiko Falk (2023). Efficient and Effective Multi-Objective Optimization for Real-Time Multi-Task Systems. 5:1-5:12 [Abstract]
- Heiko Falk, Shashank Jadhav, Arno Luppold, Kateryna Muts, Dominic Oehlert, Nina Piontek and Mikko Roth (2020). Compilation for Real-Time Systems a Decade After PREDATOR. 151-169 [Abstract]
- Arno Luppold, Dominic Oehlert and Heiko Falk (2020). Compiling for the Worst Case: Memory Allocation for Multi-task and Multi-core Hard Real-time Systems. ACM Transactions on Embedded Computing Systems (TECS). 19. (2), [Abstract]
- Heiko Falk, Shashank Jadhav, Arno Luppold, Kateryna Muts, Dominic Oehlert, Nina Piontek and Mikko Roth (2019). Compilation for Real-Time Systems 10 Years After PREDATOR.
- Dominic Oehlert, Arno Luppold and Heiko Falk (2019). Favorable Adjustment of Periods for Reduced Hyperperiods in Real-Time Systems. 82-85 [Abstract]
- Shashank Jadhav and Heiko Falk (2019). Multi-Objective Optimization for the Compiler of Real-Time Systems based on Flower Pollination Algorithm. 45-48 [Abstract]
- Shashank Jadhav, Mikko Roth, Heiko Falk, Christopher Brown and Adam Barwell (2019). Reasoning about non-functional properties using compiler intrinsic function annotations. 25-28 [Abstract]
- Dominic Oehlert, Semla Saidi and Heiko Falk (2019). Code-Inherent Traffic Shaping for Hard Real-Time Systems. [Abstract]
- Mikko Roth, Arno Luppold and Heiko Falk (2018). Measuring and Modeling Energy Consumption of Embedded Systems for Optimizing Compilers. 86-89 [Abstract]