EU H2020: TeamPlay

Project: Research

Project Details


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 paral- lelism, energy modeling/transparency, worst-case execution time analysis, non-functional property analysis, compi- lation, security, and task coordination. Results will be evaluated using industrial use cases taken from the computer vision, satellites, flying drones, medical and cybersecurity domains.
Short titleTime, Energy and security Analysis for Multi/Many-core heterogenous PLAtforms
Effective start/end date01/01/201831/12/2020

Collaborative partners

  • French Institute for Research in Computer Science and Automation (Beneficiary) (lead)
  • Thales Alenia Space España (Beneficiary)
  • AbsInt Angewandte Informatik GmbH (Beneficiary)
  • Hamburg University of Technology (Beneficiary)
  • Secure-IC SAS (Beneficiary)
  • ​IRIDA Labs (Beneficiary)
  • University of Bristol (Beneficiary)
  • University of St Andrews (Beneficiary)
  • Sky-Watch A/S (Beneficiary)
  • University of Amsterdam (Beneficiary)
  • University of Southern Denmark (Beneficiary)


Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.