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

Informations projet

TeamPlay

N° de convention de subvention: 779882

DOI

10.3030/779882

Projet clôturé

Date de signature de la CE 31 Octobre 2017

Date de début 1 Janvier 2018

Date de fin 30 Juin 2021

Financé au titre de

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

Coût total

€ 5 123 685,01

Contribution de l’UE

€ 5 123 684,99

Coordonné par

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
France

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Livrables

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

Publications

Other (3)

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

Auteurs: Kris Nikov, Marcos Martinez, Simon Wegener, Jose Nunez-Yanez, Zbigniew Chamski, Kyriakos Georgiou, Kerstin Eder
Publié dans: 2021
Éditeur: arXiv

GR712RC LEON3 Power Model Data

Auteurs: Kris Nikov, Marcos Martinez, Pedro Vallejo, Abel Balbis, Jose Nunez-Yanez, Kerstin Eder
Publié dans: IEEE Dataport, 2021
Éditeur: IEEE
DOI: 10.21227/1y7r-am78

Evaluating the Performance of Solvers for Integer-Linear Programming

Auteurs: Arno Luppold, Dominic Oehlert, Heiko Falk
Publié dans: 2018
Éditeur: Hamburg University of Technology
DOI: 10.15480/882.1839

Peer reviewed articles (14)

Lost In Translation: Exposing Hidden Compiler Optimization Opportunities

Auteurs: Kyriakos Georgiou, Zbigniew Chamski, Andres Amaya Garcia, David May, Kerstin Eder
Publié dans: The Computer Journal, 2020, ISSN 0010-4620
Éditeur: Oxford University Press
DOI: 10.1093/comjnl/bxaa103

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

Auteurs: A. M. Coutinho Demetrios, Daniele De Sensi, Arthur Francisco Lorenzon, Kyriakos Georgiou, Jose Nunez-Yanez, Kerstin Eder, Samuel Xavier-de-Souza
Publié dans: Energies, Numéro 13/9, 2020, Page(s) 2409, ISSN 1996-1073
Éditeur: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.3390/en13092409

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

Auteurs: Adam Seewald, Ulrik Pagh Schultz, Emad Ebeid, Henrik Skov Midtiby
Publié dans: International Journal of Parallel Programming, Numéro 49/2, 2021, Page(s) 136-157, ISSN 0885-7458
Éditeur: Kluwer Academic Publishers
DOI: 10.1007/s10766-019-00645-y

Code-Inherent Traffic Shaping for Hard Real-Time Systems

Auteurs: Dominic Oehlert, Selma Saidi, Heiko Falk
Publié dans: ACM Transactions on Embedded Computing Systems, Numéro 18/5s, 2019, Page(s) 1-21, ISSN 1539-9087
Éditeur: Association for Computing Machinary, Inc.
DOI: 10.1145/3358215

Optimizing Inner Product Masking Scheme by a Coding Theory Approach

Auteurs: Wei Cheng, Sylvain Guilley, Claude Carlet, Sihem Mesnager, Jean-Luc Danger
Publié dans: IEEE Transactions on Information Forensics and Security, Numéro 16, 2021, Page(s) 220-235, ISSN 1556-6013
Éditeur: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tifs.2020.3009609

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

Auteurs: Emad Ebeid, Martin Skriver, Kristian Husum Terkildsen, Kjeld Jensen, Ulrik Pagh Schultz
Publié dans: Microprocessors and Microsystems, Numéro 61, 2018, Page(s) 11-20, ISSN 0141-9331
Éditeur: Elsevier BV
DOI: 10.1016/j.micpro.2018.05.002

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

Auteurs: Vladimir Janjic, Christopher Brown, Adam Barwell, Kevin Hammond
Publié dans: Concurrency and Computation: Practice and Experience, 2019, ISSN 1532-0626
Éditeur: John Wiley & Sons Inc.
DOI: 10.1002/cpe.5420

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

Auteurs: Christopher Brown, Vladimir Janjic, M. Goli, J. McCall
Publié dans: International Journal of Parallel Programming, Numéro 48/4, 2020, Page(s) 583-602, ISSN 0885-7458
Éditeur: Kluwer Academic Publishers
DOI: 10.1007/s10766-020-00665-z

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

Auteurs: Christopher Brown, Vladimir Janjic, Adam D. Barwell, J. Daniel Garcia, Kenneth MacKenzie
Publié dans: International Journal of Parallel Programming, Numéro 48/4, 2020, Page(s) 603-625, ISSN 0885-7458
Éditeur: Kluwer Academic Publishers
DOI: 10.1007/s10766-020-00667-x

Proof-Carrying Plans

Auteurs: 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
Publié dans: Practical Aspects of Declarative Languages, 2019, ISSN 0302-9743
Éditeur: Springer Verlag

Compiling for the Worst Case

Auteurs: Arno Luppold, Dominic Oehlert, Heiko Falk
Publié dans: ACM Transactions on Embedded Computing Systems, Numéro 19/2, 2020, Page(s) 1-26, ISSN 1539-9087
Éditeur: Association for Computing Machinary, Inc.
DOI: 10.1145/3381752

Detecting faults in inner product masking scheme

Auteurs: Wei Cheng, Claude Carlet, Kouassi Goli, Jean-Luc Danger, Sylvain Guilley
Publié dans: Journal of Cryptographic Engineering, 2020, ISSN 2190-8508
Éditeur: Springer Science + Business Media
DOI: 10.1007/s13389-020-00227-6

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

Auteurs: Claude Carlet, Eloi de Cherisey, Sylvain Guilley, Selcuk Kavut, Deng Tang
Publié dans: IEEE Transactions on Information Forensics and Security, Numéro 16, 2021, Page(s) 203-218, ISSN 1556-6013
Éditeur: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tifs.2020.3006399

When Parallel Speedups Hit the Memory Wall

Auteurs: Alex F. A. Furtunato, Kyriakos Georgiou, Kerstin Eder, Samuel Xavier-De-Souza
Publié dans: IEEE Access, Numéro 8, 2020, Page(s) 79225-79238, ISSN 2169-3536
Éditeur: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2020.2990418

Conference proceedings (22)

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

Auteurs: Julius Roeder, Benjamin Rouxel, Sebastian Altmeyer, Clemens Grelck
Publié dans: 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
Éditeur: Euromicro, ECRTS

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

Auteurs: Benjamin Rouxel, Ulrik Pagh Schultz, Benny Akesson, Jesper Holst, Ole Jørgensen, Clemens Grelck
Publié dans: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2020, Page(s) 70-83, ISBN 9781450381741
Éditeur: ACM
DOI: 10.1145/3425898.3426954

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

Auteurs: Georgios Zamanakos, Adam Seewald, Henrik Skov Midtiby, Ulrik Pagh Schultz
Publié dans: 2020 Fourth IEEE International Conference on Robotic Computing (IRC), Numéro Yearly, 2020, Page(s) 294-297, ISBN 978-1-7281-5237-0
Éditeur: IEEE
DOI: 10.1109/irc.2020.00054

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

Auteurs: Adam Seewald
Publié dans: Proceedings of the IROS Workshop on Planetary Exploration Robots: Challenges and Opportunities (PlanRobo'20), 2020, Page(s) 3
Éditeur: ETH Zurich
DOI: 10.3929/ethz-b-000450120

Type-Driven Verification of Non-functional Properties

Auteurs: Christopher Brown, Adam D. Barwell, Yoann Marquer, Céline Minh, Olivier Zendra
Publié dans: Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming, 2019, Page(s) 1-15, ISBN 9781450372497
Éditeur: ACM

Energy-Optimal Configurations for Single-Node HPC Applications

Auteurs: Vitor R. G. Silva, Alex F. A. Furtunato, Kyriakos Georgiou, Carlos A. V. Sakuyama, Kerstin Eder, Samuel Xavier-de-Souza
Publié dans: 2019 International Conference on High Performance Computing & Simulation (HPCS), 2019, Page(s) 448-454, ISBN 978-1-7281-4484-9
Éditeur: IEEE
DOI: 10.1109/hpcs48598.2019.9188110

A trustworthy framework for resource-aware embedded programming

Auteurs: Adam D. Barwell, Christopher Brown
Publié dans: Proceedings of the 31st Symposium on Implementation and Application of Functional Languages, 2019, Page(s) 1-12, ISBN 9781450375627
Éditeur: ACM
DOI: 10.1145/3412932.3412944

Mechanical and Computational Energy Estimation of a Fixed-Wing Drone

Auteurs: Adam Seewald, Hector Garcia De Marina, Henrik Skov Midtiby, Ulrik Pagh Schultz
Publié dans: 2020 Fourth IEEE International Conference on Robotic Computing (IRC), Numéro Yearly, 2020, Page(s) 135-142, ISBN 978-1-7281-5237-0
Éditeur: IEEE
DOI: 10.1109/irc.2020.00028

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

Auteurs: Julius Roeder, Benjamin Rouxel, Clemens Grelck
Publié dans: 14th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC 2021), 2021, Page(s) 8
Éditeur: IEEE

Q-learning for Statically Scheduling DAGs

Auteurs: Julius Roeder, Benjamin Rouxel, Clemens Grelck
Publié dans: 2020 IEEE International Conference on Big Data (Big Data), 2020, Page(s) 5813-5815, ISBN 978-1-7281-6251-5
Éditeur: IEEE
DOI: 10.1109/bigdata50022.2020.9378062

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

Auteurs: Kyriakos Georgiou, Craig Blackmore, Samuel Xavier-de-Souza, Kerstin Eder
Publié dans: Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems - SCOPES '18, 2018, Page(s) 35-42, ISBN 9781-450357807
Éditeur: ACM Press
DOI: 10.1145/3207719.3207727

Measuring and Modeling Energy Consumption of Embedded Systems for Optimizing Compilers

Auteurs: Mikko Roth, Arno Luppold, Heiko Falk
Publié dans: Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems - SCOPES '18, 2018, Page(s) 86-89, ISBN 9781-450357807
Éditeur: ACM Press
DOI: 10.1145/3207719.3207729

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

Auteurs: Dominic Oehlert, Arno Luppold, Heiko Falk
Publié dans: Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems, 2019
Éditeur: ACM
DOI: 10.15480/882.2229

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

Auteurs: Shashank Jadhav, Heiko Falk
Publié dans: Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems - SCOPES '19, 2019, Page(s) 45-48, ISBN 9781-450367622
Éditeur: ACM Press
DOI: 10.1145/3323439.3323977

Reasoning about non-functional properties using compiler intrinsic function annotations

Auteurs: Shashank Jadhav, Mikko Roth, Heiko Falk, Chris Brown, Adam Barwell
Publié dans: Proceedings of the 13th Junior Researcher Workshop on Real-Time Computing (JRWRTC), 2019, Page(s) 25-28
Éditeur: TUHH
DOI: 10.15480/882.2545

Technology-agnostic power optimization for AES block cipher

Auteurs: Kais Chibani, Adrien Facon, Sylvain Guilley, Youssef Souissi
Publié dans: 2018 25th IEEE International Conference on Electronics, Circuits and Systems (ICECS), 2018, Page(s) 397-400, ISBN 978-1-5386-9562-3
Éditeur: IEEE
DOI: 10.1109/icecs.2018.8617921

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

Auteurs: Julius Roeder, Benjamin Rouxel, Sebastian Altmeyer, Clemens Grelck
Publié dans: 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
Éditeur: INP ENSEEIHT

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

Auteurs: Julius Roeder, Benjamin Rouxel, Sebastian Altmeyer, Clemens Grelck
Publié dans: Proceedings of the 36th Annual ACM Symposium on Applied Computing, Numéro Yearly, 2021, Page(s) 501-510, ISBN 9781450381048
Éditeur: ACM
DOI: 10.1145/3412841.3441930

Component-based computation-energy modeling for embedded systems

Auteurs: Adam Seewald, Ulrik Pagh Schultz, Julius Roeder, Benjamin Rouxel, Clemens Grelck
Publié dans: Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, 2019, Page(s) 5-6, ISBN 9781450369923
Éditeur: ACM
DOI: 10.1145/3359061.3362775

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

Auteurs: Uraz Odyurt, Julius Roeder, Andy D. Pimentel, Ignacio Gonzalez Alonso, Cees de Laat
Publié dans: 2021 4th IEEE International Conference on Industrial Cyber-Physical Systems (ICPS), 2021, Page(s) 152-157, ISBN 978-1-7281-6207-2
Éditeur: IEEE
DOI: 10.1109/icps49255.2021.9468262

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

Auteurs: Yoann Marquer, Tania Richmond
Publié dans: 2020 IEEE 27th Symposium on Computer Arithmetic (ARITH), 2020, Page(s) 56-63, ISBN 978-1-7281-7120-3
Éditeur: IEEE
DOI: 10.1109/ARITH48897.2020.00017

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

Auteurs: Jose Nunez-Yanez, Kris Nikov, Kerstin Eder, Mohammad Hosseinabady
Publié dans: 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, Page(s) 1-6, ISBN 9781450375450
Éditeur: ACM
DOI: 10.1145/3381427.3381429

Book chapters (5)

Cache-Timing Attacks Still Threaten IoT Devices

Auteurs: Sofiane Takarabt, Alexander Schaub, Adrien Facon, Sylvain Guilley, Laurent Sauvage, Youssef Souissi, Yves Mathieu
Publié dans: Codes, Cryptology and Information Security - Third International Conference, C2SI 2019, Rabat, Morocco, April 22–24, 2019, Proceedings - In Honor of Said El Hajji, Numéro 11445, 2019, Page(s) 13-30, ISBN 978-3-030-16457-7
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-16458-4_2

Security Evaluation Against Side-Channel Analysis at Compilation Time

Auteurs: Nicolas Bruneau, Charles Christen, Jean-Luc Danger, Adrien Facon, Sylvain Guilley
Publié dans: Algebra, Codes and Cryptology - First International Conference, A2C 2019 in honor of Prof. Mamadou Sanghare, Dakar, Senegal, December 5–7, 2019, Proceedings, Numéro 1133, 2019, Page(s) 129-148, ISBN 978-3-030-36236-2
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-36237-9_8

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

Auteurs: Sébastien Carré, Adrien Facon, Sylvain Guilley, Sofiane Takarabt, Alexander Schaub, Youssef Souissi
Publié dans: Constructive Side-Channel Analysis and Secure Design - 10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3–5, 2019, Proceedings, Numéro 11421, 2019, Page(s) 13-21, ISBN 978-3-030-16349-5
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-16350-1_2

Fault Analysis Assisted by Simulation

Auteurs: Kais Chibani, Adrien Facon, Sylvain Guilley, Damien Marion, Yves Mathieu, Laurent Sauvage, Youssef Souissi, Sofiane Takarabt
Publié dans: Automated Methods in Cryptographic Fault Analysis, 2019, Page(s) 263-277, ISBN 978-3-030-11332-2
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-11333-9_12

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

Auteurs: Julius Roeder, Benjamin Rouxel, Sebastian Altmeyer, Clemens Grelck
Publié dans: 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, Numéro 12134, 2020, Page(s) 57-74, ISBN 978-3-030-50028-3
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-50029-0_4