Opendata, web and dolomites

TeamPlay SIGNED

Time, Energy and security Analysis for Multi/Many-core heterogenous PLAtforms

Total Cost €

0

EC-Contrib. €

0

Partnership

0

Views

0

Project "TeamPlay" data sheet

The following table provides information about the project.

Coordinator
INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE 

Organization address
address: DOMAINE DE VOLUCEAU ROCQUENCOURT
city: LE CHESNAY CEDEX
postcode: 78153
website: www.inria.fr

contact info
title: n.a.
name: n.a.
surname: n.a.
function: n.a.
email: n.a.
telephone: n.a.
fax: n.a.

 Coordinator Country France [FR]
 Total cost 5˙415˙551 €
 EC max contribution 5˙415˙551 € (100%)
 Programme 1. H2020-EU.2.1.1. (INDUSTRIAL LEADERSHIP - Leadership in enabling and industrial technologies - Information and Communication Technologies (ICT))
 Code Call H2020-ICT-2017-1
 Funding Scheme RIA
 Starting year 2018
 Duration (year-month-day) from 2018-01-01   to  2020-12-31

 Partnership

Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE FR (LE CHESNAY CEDEX) coordinator 621˙249.00
2    TECHNISCHE UNIVERSITAT HAMBURG DE (HAMBURG) participant 656˙250.00
3    UNIVERSITY OF BRISTOL UK (BRISTOL) participant 579˙063.00
4    THE UNIVERSITY COURT OF THE UNIVERSITY OF ST ANDREWS UK (ST ANDREWS) participant 545˙630.00
5    UNIVERSITEIT VAN AMSTERDAM NL (AMSTERDAM) participant 509˙150.00
6    SECURE-IC SAS FR (CESSON-SEVIGNE) participant 483˙753.00
7    SKY-WATCH A/S DK (STOVRING) participant 465˙375.00
8    SYSTHMATA YPOLOGISTIKIS ORASHS IRIDA LABS AE EL (RIO) participant 430˙625.00
9    SYDDANSK UNIVERSITET DK (ODENSE M) participant 407˙398.00
10    ABSINT ANGEWANDTE INFORMATIK GMBH DE (SAARBRUCKEN) participant 394˙305.00
11    THALES ALENIA SPACE ESPANA, SA ES (TRES CANTOS - MADRID) participant 322˙750.00

Map

 Project objective

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.

 Deliverables

List of deliverables.
Report on Code-Level Contracts for Energy, Time and Security Documents, reports 2020-01-14 14:28:01
Report on Early Prototype of EnergyAnalyser Documents, reports 2020-01-14 14:28:57
Press Release Announcing Start of TeamPlay Websites, patent fillings, videos etc. 2020-01-14 14:28:53
First Report on Multi-Criterial Compiler Optimisations Documents, reports 2020-01-14 14:28:01
Public Mailing Lists Other 2020-01-14 14:28:56
Report on the TeamPlay Basic Compiler Infrastructure Documents, reports 2020-01-14 14:28:53
Report on Energy, Timing and Security Modelling of Complex Architectures Documents, reports 2020-01-14 14:28:01
Report on Energy-, Time- and Security-aware Coordination of a Single (Parallel) Application Documents, reports 2020-01-14 14:28:54
Report on Initial Implementation of Proof Library, including Initial CSL Implementation Documents, reports 2020-01-14 14:28:53
Report on Project Requirements and Evaluation Metrics Documents, reports 2020-01-14 14:28:53
Achievements in the technical work packages M9 Documents, reports 2020-01-14 14:28:01
Report on Test Bed Demonstrators and Test Procedures Documents, reports 2020-01-14 14:28:01
Initial Public Project Website / Presentation Websites, patent fillings, videos etc. 2020-01-14 14:28:02
Report on Early Requirements Analysis Results Documents, reports 2020-01-14 14:28:54
First Report on Architecture-Level Energy Usage, Timing and Security level Modelling Documents, reports 2020-01-14 14:28:02

Take a look to the deliverables list in detail:  detailed list of TeamPlay deliverables.

 Publications

year authors and title journal last update
List of publications.
2020 Arno Luppold, Dominic Oehlert, Heiko Falk
Compiling for the Worst Case
published pages: 1-26, ISSN: 1539-9087, DOI: 10.1145/3381752
ACM Transactions on Embedded Computing Systems 19/2 2020-04-15
2019 Shashank Jadhav, Mikko Roth, Heiko Falk, Chris Brown, Adam Barwell
Reasoning about non-functional properties using compiler intrinsic function annotations
published pages: 25-28, ISSN: , DOI: 10.15480/882.2545
Proceedings of the 13th Junior Researcher Workshop on Real-Time Computing (JRWRTC) 2020-01-28
2019 Christopher Mark Brown, Adam David Barwell, Yoann Marquer, Celine Minh, Olivier Zendra
Type-driven Verification of Extra-functional Properties
published pages: , ISSN: , DOI:
21st International Symposium on Principles and Practice of Declarative Programming (PPDP 2019) 2019-09-26
2019 Vladimir Janjic, Christopher Brown, Adam Barwell, Kevin Hammond
Refactoring for introducing and tuning parallelism for heterogeneous multicore machines in Erlang
published pages: , ISSN: 1532-0626, DOI: 10.1002/cpe.5420
Concurrency and Computation: Practice and Experience 2019-09-26
2019 Christopher Brown and Vladimir Janjic and Adam Barwell and Jose Daniel Garcia
Refactoring GrPPI: Generic Refactoring for Generic Parallelism in C++
published pages: , ISSN: , DOI:
2019-09-26
2019 Christopher Brown and Vladimir Janjic and John McCall
Programming Heterogeneous Parallel machines using Refactoring and Monte-Carlo Tree Search
published pages: , ISSN: , DOI:
12th International Symposium on High-Level Parallel Programming and Applications (HLPP) 2019-09-26
2019 José Júlio AlferesMoa Johansson
Practical Aspects of Declarative Languages
published pages: , ISSN: , DOI:
21th International Symposium, PADL 2019 2019-09-26
2019 Jadhav, Shashank; Falk, Heiko
Multi-objective optimization for the compiler of real-time systems based on flower pollination algorithm
published pages: , ISSN: , DOI: 10.15480/882.2269
The 22nd International Workshop on Software and Compilers for Embedded Systems, of SCOPES \'19 3 2019-09-26
2019 Schwaab, Christopher and Komendantskaya, Ekaterina and Hill, Alasdair and Farka, Franti{v{s}}ek and Petrick, Ronald P. A. and Wells, Joe and Hammond, Kevin
Proof-Carrying Plans
published pages: , ISSN: 0302-9743, DOI:
Practical Aspects of Declarative Languages 2019-09-26
2018 Emad Ebeid, Martin Skriver, Kristian Husum Terkildsen, Kjeld Jensen, Ulrik Pagh Schultz
A survey of Open-Source UAV flight controllers and flight simulators
published pages: 11-20, ISSN: 0141-9331, DOI: 10.1016/j.micpro.2018.05.002
Microprocessors and Microsystems 61 2019-07-19
2018 Arno Luppold, Dominic Oehlert, Heiko Falk
Evaluating the Performance of Solvers for Integer-Linear Programming
published pages: , ISSN: , DOI: 10.15480/882.1839
2019-07-19
2019 Dominic Oehlert, Arno Luppold, Heiko Falk
Favorable Adjustment of Periods for Reduced Hyperperiods in Real-Time Systems
published pages: , ISSN: , DOI: 10.15480/882.2229
Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems 2019-07-19

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "TEAMPLAY" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an  email (fabio@fabiodisconzi.com) and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "TEAMPLAY" are provided by the European Opendata Portal: CORDIS opendata.

More projects from the same programme (H2020-EU.2.1.1.)

5G-DIVE (2019)

5G-DIVE: eDge Intelligence for Vertical Experimentation

Read More  

NGI0-Discovery (2018)

NGI Zero Discovery

Read More  

ADEPTNESS (2020)

Design-Operation Continuum Methods for Testing and Deployment under Unforeseen Conditions for Cyber-Physical Systems of Systems

Read More