EU H2020: TeamPlay

Projekter: ProjektForskning



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.
Kort titelTime, Energy and security Analysis for Multi/Many-core heterogenous PLAtforms
Effektiv start/slut dato01/01/201831/12/2020


  • Institut National de Recherche en Informatique et en Automatique (Beneficiary) (leder)
  • 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)
  • Syddansk Universitet (Beneficiary)


Udforsk forskningsemnerne, som dette projekt berører. Disse etiketter er oprettet på grundlag af de underliggende bevillinger/legater. Sammen danner de et unikt fingerprint.