Time, Energy and Security Analysis for Multi-/Many-Core heterogeneous Platforms (TeamPlay)
|Name||Time, Energy and Security Analysis for Multi-/Many-Core heterogeneous Platforms|
|Role of TUHH||Work Package Leader|
|Funds Donor||European Commission (Horizon 2020)|
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.
TeamPlay Publications of the Embedded Systems Design Group
|Title: Reasoning about non-functional properties using compiler intrinsic function annotations. <em>In Proceedings of the 13th Junior Researcher Workshop on Real-Time Computing (JRWRTC)</em>|
|Written by: Shashank Jadhav, Mikko Roth, Heiko Falk, Christopher Brown and Adam Barwell|
|in: November (2019).|
|on pages: 25-28|
|Address: Toulouse / France|
|how published: 19-60 JRF+ JRWRTC|
Note: sjadhav, mroth, hfalk, ESD, WCC, teamplay
Abstract: Embedded systems often need to adhere to time and energy constraints. With the increasing popularity of embedded systems, the interest in evaluating and optimizing non-functional properties like execution time and energy of these systems is increasing. In this paper, we describe a Resource-usage Estimate Expression Language (REEL), which allows the user to argue about these properties, within the source code, in a compiler understandable manner. Furthermore, we discuss the integration of REEL within a compiler framework. We, also show the propagation of REEL annotations within the compiler, and how they can be exploited to make decisions based on the non-functional properties within the source code. Finally, we explore REEL's potential to perform ILP-based optimizations.