#	Pagina
attuale pagina	/open-h2020/projects/213087/index.html

Opendata, web and dolomites

TeamPlay SIGNED

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

Total Cost €

EC-Contrib. €

Partnership

Views

TeamPlay project word cloud

Explore the words cloud of the TeamPlay project. It provides you a very rough idea of what is the project "TeamPlay" about.

property worst time code right experts techniques domains modeling drones balance lation energy metrics industrial developer brings motivated consumption vision toolbox compi functional computer cybersecurity satellites progress things maintaining programs class medical software cyber citizens source lelism paral parallel security academic transparency reflect teamplay first internet physical pressing formally flying

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 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.	FR (LE CHESNAY CEDEX)	coordinator	621˙249.00
2	TECHNISCHE UNIVERSITAT HAMBURG TECHNISCHE UNIVERSITAT HAMBURG Organization address address: AM SCHWARZENBERG CAMPUS 1 city: HAMBURG postcode: 21073 website: www.tuhh.de contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	DE (HAMBURG)	participant	656˙250.00
3	UNIVERSITY OF BRISTOL UNIVERSITY OF BRISTOL Organization address address: BEACON HOUSE QUEENS ROAD city: BRISTOL postcode: BS8 1QU website: www.bristol.ac.uk contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	UK (BRISTOL)	participant	579˙063.00
4	THE UNIVERSITY COURT OF THE UNIVERSITY OF ST ANDREWS THE UNIVERSITY COURT OF THE UNIVERSITY OF ST ANDREWS Organization address address: NORTH STREET 66 COLLEGE GATE city: ST ANDREWS postcode: KY16 9AJ website: www.st-andrews.ac.uk contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	UK (ST ANDREWS)	participant	545˙630.00
5	UNIVERSITEIT VAN AMSTERDAM UNIVERSITEIT VAN AMSTERDAM Organization address address: SPUI 21 city: AMSTERDAM postcode: 1012WX website: www.uva.nl contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	NL (AMSTERDAM)	participant	509˙150.00
6	SECURE-IC SAS SECURE-IC SAS Organization address address: 15 RUE CLAUDE CHAPPE ZAC DES CHAMPS BLANCS city: CESSON-SEVIGNE postcode: 35510 website: www.secure-ic.com contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	FR (CESSON-SEVIGNE)	participant	483˙753.00
7	SKY-WATCH A/S SKY-WATCH A/S Organization address address: OSTRE ALLE 6 city: STOVRING postcode: 9530 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	DK (STOVRING)	participant	465˙375.00
8	SYSTHMATA YPOLOGISTIKIS ORASHS IRIDA LABS AE SYSTHMATA YPOLOGISTIKIS ORASHS IRIDA LABS AE Organization address address: MAGOULA city: RIO postcode: 26500 website: www.iridalabs.gr contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	EL (RIO)	participant	430˙625.00
9	SYDDANSK UNIVERSITET SYDDANSK UNIVERSITET Organization address address: CAMPUSVEJ 55 city: ODENSE M postcode: 5230 website: www.sdu.dk contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	DK (ODENSE M)	participant	407˙398.00
10	ABSINT ANGEWANDTE INFORMATIK GMBH ABSINT ANGEWANDTE INFORMATIK GMBH Organization address address: SCIENCE PARK 1 city: SAARBRUCKEN postcode: 66123 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	DE (SAARBRUCKEN)	participant	394˙305.00
11	THALES ALENIA SPACE ESPANA, SA THALES ALENIA SPACE ESPANA, SA Organization address address: CALLE EINSTEIN 7 city: TRES CANTOS - MADRID postcode: 28760 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	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

List of publications.
year	authors and title	journal	last update
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.