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

Información del proyecto

TeamPlay

Identificador del acuerdo de subvención: 779882

DOI

10.3030/779882

Proyecto cerrado

Fecha de la firma de la CE 31 Octubre 2017

Fecha de inicio 1 Enero 2018

Fecha de finalización 30 Junio 2021

Financiado con arreglo a

• INDUSTRIAL LEADERSHIP - Leadership in enabling and industrial technologies - Information and Communication Technologies (ICT)

Coste total

€ 5 123 685,01

Aportación de la UE

€ 5 123 684,99

Coordinado por

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
France

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Resultado final

Websites, patent fillings, videos etc. (4)

Initial Public Project Website / Presentation
Press Release Announcing Start of TeamPlay
Final Public Project Website / Presentation
Final Press Release Describing the TeamPlay Results

Documents, reports (21)

Second Report on Multi-Criterial Compiler Optimisations
Report on Energy, Timing and Security Modelling of Complex Architectures
Final Rept. on Architecture-Level Energy Usage, Timing & Security Modelling and on Prototype
First Report on Architecture-Level Energy Usage, Timing and Security level Modelling
Achievements in the technical work packages M9

Achievements in the technical work packages, to provide material for the intermediate review of M10.

Report on Project Requirements and Evaluation Metrics
Report on Early Requirements Analysis Results
Report on Energy Usage Analysis and on Prototype
Report on Energy-, Time- and Security-aware Coordination of Multiple (Parallel) Applications
Report on Test Bed Demonstrators and Test Procedures
First Report on Multi-Criterial Compiler Optimisations
Report on Energy-Efficient Software Engineering Methodology and Roadmap
Report on Early Prototype of EnergyAnalyser
Report on Environment-Adaptive Energy-, Time- and Security-aware Coordination
Report on Energy-, Time- and Security-aware Coordination of a Single (Parallel) Application
Report on Formalisation of Energy, Time and Security Properties, including Final CSL Impl.

Report on Formalisation of Energy, Time and Security Properties, including Final Contract Specification Implementation.

Report on Initial Implementation of Proof Library, including Initial CSL Implementation
Report on Code-Level Contracts for Energy, Time and Security
Report on the TeamPlay Basic Compiler Infrastructure
Report on the Feasibility of Optimisation Approaches
Report on Assessment of Project Outcomes

Other (1)

Public Mailing Lists

Publicaciones

Other (3)

Robust and accurate fine-grain power models for embedded systems with no on-chip PMU

Autores: Kris Nikov, Marcos Martinez, Simon Wegener, Jose Nunez-Yanez, Zbigniew Chamski, Kyriakos Georgiou, Kerstin Eder
Publicado en: 2021
Editor: arXiv

GR712RC LEON3 Power Model Data

Autores: Kris Nikov, Marcos Martinez, Pedro Vallejo, Abel Balbis, Jose Nunez-Yanez, Kerstin Eder
Publicado en: IEEE Dataport, 2021
Editor: IEEE
DOI: 10.21227/1y7r-am78

Evaluating the Performance of Solvers for Integer-Linear Programming

Autores: Arno Luppold, Dominic Oehlert, Heiko Falk
Publicado en: 2018
Editor: Hamburg University of Technology
DOI: 10.15480/882.1839

Peer reviewed articles (14)

Lost In Translation: Exposing Hidden Compiler Optimization Opportunities

Autores: Kyriakos Georgiou, Zbigniew Chamski, Andres Amaya Garcia, David May, Kerstin Eder
Publicado en: The Computer Journal, 2020, ISSN 0010-4620
Editor: Oxford University Press
DOI: 10.1093/comjnl/bxaa103

Performance and Energy Trade-Offs for Parallel Applications on Heterogeneous Multi-Processing Systems

Autores: A. M. Coutinho Demetrios, Daniele De Sensi, Arthur Francisco Lorenzon, Kyriakos Georgiou, Jose Nunez-Yanez, Kerstin Eder, Samuel Xavier-de-Souza
Publicado en: Energies, Edición 13/9, 2020, Página(s) 2409, ISSN 1996-1073
Editor: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.3390/en13092409

Coarse-Grained Computation-Oriented Energy Modeling for Heterogeneous Parallel Embedded Systems

Autores: Adam Seewald, Ulrik Pagh Schultz, Emad Ebeid, Henrik Skov Midtiby
Publicado en: International Journal of Parallel Programming, Edición 49/2, 2021, Página(s) 136-157, ISSN 0885-7458
Editor: Kluwer Academic Publishers
DOI: 10.1007/s10766-019-00645-y

Code-Inherent Traffic Shaping for Hard Real-Time Systems

Autores: Dominic Oehlert, Selma Saidi, Heiko Falk
Publicado en: ACM Transactions on Embedded Computing Systems, Edición 18/5s, 2019, Página(s) 1-21, ISSN 1539-9087
Editor: Association for Computing Machinary, Inc.
DOI: 10.1145/3358215

Optimizing Inner Product Masking Scheme by a Coding Theory Approach

Autores: Wei Cheng, Sylvain Guilley, Claude Carlet, Sihem Mesnager, Jean-Luc Danger
Publicado en: IEEE Transactions on Information Forensics and Security, Edición 16, 2021, Página(s) 220-235, ISSN 1556-6013
Editor: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tifs.2020.3009609

A survey of Open-Source UAV flight controllers and flight simulators

Autores: Emad Ebeid, Martin Skriver, Kristian Husum Terkildsen, Kjeld Jensen, Ulrik Pagh Schultz
Publicado en: Microprocessors and Microsystems, Edición 61, 2018, Página(s) 11-20, ISSN 0141-9331
Editor: Elsevier BV
DOI: 10.1016/j.micpro.2018.05.002

Refactoring for introducing and tuning parallelism for heterogeneous multicore machines in Erlang

Autores: Vladimir Janjic, Christopher Brown, Adam Barwell, Kevin Hammond
Publicado en: Concurrency and Computation: Practice and Experience, 2019, ISSN 1532-0626
Editor: John Wiley & Sons Inc.
DOI: 10.1002/cpe.5420

Programming Heterogeneous Parallel Machines Using Refactoring and Monte–Carlo Tree Search

Autores: Christopher Brown, Vladimir Janjic, M. Goli, J. McCall
Publicado en: International Journal of Parallel Programming, Edición 48/4, 2020, Página(s) 583-602, ISSN 0885-7458
Editor: Kluwer Academic Publishers
DOI: 10.1007/s10766-020-00665-z

Refactoring GrPPI: Generic Refactoring for Generic Parallelism in C++

Autores: Christopher Brown, Vladimir Janjic, Adam D. Barwell, J. Daniel Garcia, Kenneth MacKenzie
Publicado en: International Journal of Parallel Programming, Edición 48/4, 2020, Página(s) 603-625, ISSN 0885-7458
Editor: Kluwer Academic Publishers
DOI: 10.1007/s10766-020-00667-x

Proof-Carrying Plans

Autores: 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
Publicado en: Practical Aspects of Declarative Languages, 2019, ISSN 0302-9743
Editor: Springer Verlag

Compiling for the Worst Case

Autores: Arno Luppold, Dominic Oehlert, Heiko Falk
Publicado en: ACM Transactions on Embedded Computing Systems, Edición 19/2, 2020, Página(s) 1-26, ISSN 1539-9087
Editor: Association for Computing Machinary, Inc.
DOI: 10.1145/3381752

Detecting faults in inner product masking scheme

Autores: Wei Cheng, Claude Carlet, Kouassi Goli, Jean-Luc Danger, Sylvain Guilley
Publicado en: Journal of Cryptographic Engineering, 2020, ISSN 2190-8508
Editor: Springer Science + Business Media
DOI: 10.1007/s13389-020-00227-6

Intrinsic Resiliency of S-Boxes Against Side-Channel Attacks–Best and Worst Scenarios

Autores: Claude Carlet, Eloi de Cherisey, Sylvain Guilley, Selcuk Kavut, Deng Tang
Publicado en: IEEE Transactions on Information Forensics and Security, Edición 16, 2021, Página(s) 203-218, ISSN 1556-6013
Editor: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tifs.2020.3006399

When Parallel Speedups Hit the Memory Wall

Autores: Alex F. A. Furtunato, Kyriakos Georgiou, Kerstin Eder, Samuel Xavier-De-Souza
Publicado en: IEEE Access, Edición 8, 2020, Página(s) 79225-79238, ISSN 2169-3536
Editor: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2020.2990418

Conference proceedings (22)

A Time-, Energy- and Security-aware Coordination Approach

Autores: Julius Roeder, Benjamin Rouxel, Sebastian Altmeyer, Clemens Grelck
Publicado en: 10th International Workshop on Analysis Tools and Methodologies for Embedded Real-Time Systems (WATERS 2019), 31st Euromicro Conference on Real-Time Systems (ECRTS 2019), 2019
Editor: Euromicro, ECRTS

PReGO: a generative methodology for satisfying real-time requirements on COTS-based systems: definition and experience report

Autores: Benjamin Rouxel, Ulrik Pagh Schultz, Benny Akesson, Jesper Holst, Ole Jørgensen, Clemens Grelck
Publicado en: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2020, Página(s) 70-83, ISBN 9781450381741
Editor: ACM
DOI: 10.1145/3425898.3426954

Energy-Aware Design of Vision-Based Autonomous Tracking and Landing of a UAV

Autores: Georgios Zamanakos, Adam Seewald, Henrik Skov Midtiby, Ulrik Pagh Schultz
Publicado en: 2020 Fourth IEEE International Conference on Robotic Computing (IRC), Edición Yearly, 2020, Página(s) 294-297, ISBN 978-1-7281-5237-0
Editor: IEEE
DOI: 10.1109/irc.2020.00054

Beyond Traditional Energy Planning: the Weight of Computations in Planetary Exploration

Autores: Adam Seewald
Publicado en: Proceedings of the IROS Workshop on Planetary Exploration Robots: Challenges and Opportunities (PlanRobo'20), 2020, Página(s) 3
Editor: ETH Zurich
DOI: 10.3929/ethz-b-000450120

Type-Driven Verification of Non-functional Properties

Autores: Christopher Brown, Adam D. Barwell, Yoann Marquer, Céline Minh, Olivier Zendra
Publicado en: Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming, 2019, Página(s) 1-15, ISBN 9781450372497
Editor: ACM

Energy-Optimal Configurations for Single-Node HPC Applications

Autores: Vitor R. G. Silva, Alex F. A. Furtunato, Kyriakos Georgiou, Carlos A. V. Sakuyama, Kerstin Eder, Samuel Xavier-de-Souza
Publicado en: 2019 International Conference on High Performance Computing & Simulation (HPCS), 2019, Página(s) 448-454, ISBN 978-1-7281-4484-9
Editor: IEEE
DOI: 10.1109/hpcs48598.2019.9188110

A trustworthy framework for resource-aware embedded programming

Autores: Adam D. Barwell, Christopher Brown
Publicado en: Proceedings of the 31st Symposium on Implementation and Application of Functional Languages, 2019, Página(s) 1-12, ISBN 9781450375627
Editor: ACM
DOI: 10.1145/3412932.3412944

Mechanical and Computational Energy Estimation of a Fixed-Wing Drone

Autores: Adam Seewald, Hector Garcia De Marina, Henrik Skov Midtiby, Ulrik Pagh Schultz
Publicado en: 2020 Fourth IEEE International Conference on Robotic Computing (IRC), Edición Yearly, 2020, Página(s) 135-142, ISBN 978-1-7281-5237-0
Editor: IEEE
DOI: 10.1109/irc.2020.00028

Scheduling DAGs of Multi-version Multi-phase Tasks on Heterogeneous Real-time Systems

Autores: Julius Roeder, Benjamin Rouxel, Clemens Grelck
Publicado en: 14th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC 2021), 2021, Página(s) 8
Editor: IEEE

Q-learning for Statically Scheduling DAGs

Autores: Julius Roeder, Benjamin Rouxel, Clemens Grelck
Publicado en: 2020 IEEE International Conference on Big Data (Big Data), 2020, Página(s) 5813-5815, ISBN 978-1-7281-6251-5
Editor: IEEE
DOI: 10.1109/bigdata50022.2020.9378062

Less is More - Exploiting the Standard Compiler Optimization Levels for Better Performance and Energy Consumption

Autores: Kyriakos Georgiou, Craig Blackmore, Samuel Xavier-de-Souza, Kerstin Eder
Publicado en: Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems - SCOPES '18, 2018, Página(s) 35-42, ISBN 9781-450357807
Editor: ACM Press
DOI: 10.1145/3207719.3207727

Measuring and Modeling Energy Consumption of Embedded Systems for Optimizing Compilers

Autores: Mikko Roth, Arno Luppold, Heiko Falk
Publicado en: Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems - SCOPES '18, 2018, Página(s) 86-89, ISBN 9781-450357807
Editor: ACM Press
DOI: 10.1145/3207719.3207729

Favorable Adjustment of Periods for Reduced Hyperperiods in Real-Time Systems

Autores: Dominic Oehlert, Arno Luppold, Heiko Falk
Publicado en: Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems, 2019
Editor: ACM
DOI: 10.15480/882.2229

Multi-Objective Optimization for the Compiler of Real-Time Systems based on Flower Pollination Algorithm

Autores: Shashank Jadhav, Heiko Falk
Publicado en: Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems - SCOPES '19, 2019, Página(s) 45-48, ISBN 9781-450367622
Editor: ACM Press
DOI: 10.1145/3323439.3323977

Reasoning about non-functional properties using compiler intrinsic function annotations

Autores: Shashank Jadhav, Mikko Roth, Heiko Falk, Chris Brown, Adam Barwell
Publicado en: Proceedings of the 13th Junior Researcher Workshop on Real-Time Computing (JRWRTC), 2019, Página(s) 25-28
Editor: TUHH
DOI: 10.15480/882.2545

Technology-agnostic power optimization for AES block cipher

Autores: Kais Chibani, Adrien Facon, Sylvain Guilley, Youssef Souissi
Publicado en: 2018 25th IEEE International Conference on Electronics, Circuits and Systems (ICECS), 2018, Página(s) 397-400, ISBN 978-1-5386-9562-3
Editor: IEEE
DOI: 10.1109/icecs.2018.8617921

Interdependent Multi-version Scheduling in Heterogeneous Energy-aware Embedded Systems

Autores: Julius Roeder, Benjamin Rouxel, Sebastian Altmeyer, Clemens Grelck
Publicado en: 13th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2019), part of the 27th International Conference on Real-Time Networks and Systems (RTNS 2019), Toulouse, France, 2019
Editor: INP ENSEEIHT

Energy-aware scheduling of multi-version tasks on heterogeneous real-time systems

Autores: Julius Roeder, Benjamin Rouxel, Sebastian Altmeyer, Clemens Grelck
Publicado en: Proceedings of the 36th Annual ACM Symposium on Applied Computing, Edición Yearly, 2021, Página(s) 501-510, ISBN 9781450381048
Editor: ACM
DOI: 10.1145/3412841.3441930

Component-based computation-energy modeling for embedded systems

Autores: Adam Seewald, Ulrik Pagh Schultz, Julius Roeder, Benjamin Rouxel, Clemens Grelck
Publicado en: Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, 2019, Página(s) 5-6, ISBN 9781450369923
Editor: ACM
DOI: 10.1145/3359061.3362775

Power Passports for Fault Tolerance: Anomaly Detection in Industrial CPS Using Electrical EFB

Autores: Uraz Odyurt, Julius Roeder, Andy D. Pimentel, Ignacio Gonzalez Alonso, Cees de Laat
Publicado en: 2021 4th IEEE International Conference on Industrial Cyber-Physical Systems (ICPS), 2021, Página(s) 152-157, ISBN 978-1-7281-6207-2
Editor: IEEE
DOI: 10.1109/icps49255.2021.9468262

A Hole in the Ladder : Interleaved Variables in Iterative Conditional Branching

Autores: Yoann Marquer, Tania Richmond
Publicado en: 2020 IEEE 27th Symposium on Computer Arithmetic (ARITH), 2020, Página(s) 56-63, ISBN 978-1-7281-7120-3
Editor: IEEE
DOI: 10.1109/ARITH48897.2020.00017

Run-Time Power Modelling in Embedded GPUs with Dynamic Voltage and Frequency Scaling

Autores: Jose Nunez-Yanez, Kris Nikov, Kerstin Eder, Mohammad Hosseinabady
Publicado en: Proceedings of the 11th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures / 9th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, 2020, Página(s) 1-6, ISBN 9781450375450
Editor: ACM
DOI: 10.1145/3381427.3381429

Book chapters (5)

Cache-Timing Attacks Still Threaten IoT Devices

Autores: Sofiane Takarabt, Alexander Schaub, Adrien Facon, Sylvain Guilley, Laurent Sauvage, Youssef Souissi, Yves Mathieu
Publicado en: Codes, Cryptology and Information Security - Third International Conference, C2SI 2019, Rabat, Morocco, April 22–24, 2019, Proceedings - In Honor of Said El Hajji, Edición 11445, 2019, Página(s) 13-30, ISBN 978-3-030-16457-7
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-16458-4_2

Security Evaluation Against Side-Channel Analysis at Compilation Time

Autores: Nicolas Bruneau, Charles Christen, Jean-Luc Danger, Adrien Facon, Sylvain Guilley
Publicado en: Algebra, Codes and Cryptology - First International Conference, A2C 2019 in honor of Prof. Mamadou Sanghare, Dakar, Senegal, December 5–7, 2019, Proceedings, Edición 1133, 2019, Página(s) 129-148, ISBN 978-3-030-36236-2
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-36237-9_8

Cache-Timing Attack Detection and Prevention - Application to Crypto Libs and PQC

Autores: Sébastien Carré, Adrien Facon, Sylvain Guilley, Sofiane Takarabt, Alexander Schaub, Youssef Souissi
Publicado en: Constructive Side-Channel Analysis and Secure Design - 10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3–5, 2019, Proceedings, Edición 11421, 2019, Página(s) 13-21, ISBN 978-3-030-16349-5
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-16350-1_2

Fault Analysis Assisted by Simulation

Autores: Kais Chibani, Adrien Facon, Sylvain Guilley, Damien Marion, Yves Mathieu, Laurent Sauvage, Youssef Souissi, Sofiane Takarabt
Publicado en: Automated Methods in Cryptographic Fault Analysis, 2019, Página(s) 263-277, ISBN 978-3-030-11332-2
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-11333-9_12

Towards Energy-, Time- and Security-Aware Multi-core Coordination

Autores: Julius Roeder, Benjamin Rouxel, Sebastian Altmeyer, Clemens Grelck
Publicado en: Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings, Edición 12134, 2020, Página(s) 57-74, ISBN 978-3-030-50028-3
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-50029-0_4