Skip to main content

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

Deliverables

Initial Public Project Website / Presentation

Initial Public Project Website / Presentation

Press Release Announcing Start of TeamPlay

Press Release Announcing Start of TeamPlay

Final Public Project Website / Presentation

Final Public Project Website / Presentation

Final Press Release Describing the TeamPlay Results

Final Press Release Describing the TeamPlay Results

Second Report on Multi-Criterial Compiler Optimisations

Second Report on Multi-Criterial Compiler Optimisations

Report on Energy, Timing and Security Modelling of Complex Architectures

Report on Energy, Timing and Security Modelling of Complex Architectures

Final Rept. on Architecture-Level Energy Usage, Timing & Security Modelling and on Prototype

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

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 Project Requirements and Evaluation Metrics

Report on Early Requirements Analysis Results

Report on Early Requirements Analysis Results

Report on Energy Usage Analysis and on Prototype

Report on Energy Usage Analysis and on Prototype

Report on Energy-, Time- and Security-aware Coordination of Multiple (Parallel) Applications

Report on Energy-, Time- and Security-aware Coordination of Multiple (Parallel) Applications

Report on Test Bed Demonstrators and Test Procedures

Report on Test Bed Demonstrators and Test Procedures

First Report on Multi-Criterial Compiler Optimisations

First Report on Multi-Criterial Compiler Optimisations

Report on Energy-Efficient Software Engineering Methodology and Roadmap

Report on Energy-Efficient Software Engineering Methodology and Roadmap

Report on Early Prototype of EnergyAnalyser

Report on Early Prototype of EnergyAnalyser

Report on Environment-Adaptive Energy-, Time- and Security-aware Coordination

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 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 Initial Implementation of Proof Library, including Initial CSL Implementation

Report on Code-Level Contracts for Energy, Time and Security

Report on Code-Level Contracts for Energy, Time and Security

Report on the TeamPlay Basic Compiler Infrastructure

Report on the TeamPlay Basic Compiler Infrastructure

Report on the Feasibility of Optimisation Approaches

Report on the Feasibility of Optimisation Approaches

Report on Assessment of Project Outcomes

Report on Assessment of Project Outcomes

Searching for OpenAIRE data...

Publications

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

Author(s): Kris Nikov, Marcos Martinez, Simon Wegener, Jose Nunez-Yanez, Zbigniew Chamski, Kyriakos Georgiou, Kerstin Eder
Published in: 2021
Publisher: arXiv

GR712RC LEON3 Power Model Data

Author(s): Kris Nikov, Marcos Martinez, Pedro Vallejo, Abel Balbis, Jose Nunez-Yanez, Kerstin Eder
Published in: IEEE Dataport, 2021
Publisher: IEEE
DOI: 10.21227/1y7r-am78

Evaluating the Performance of Solvers for Integer-Linear Programming

Author(s): Arno Luppold, Dominic Oehlert, Heiko Falk
Published in: 2018
Publisher: Hamburg University of Technology
DOI: 10.15480/882.1839

Lost In Translation: Exposing Hidden Compiler Optimization Opportunities

Author(s): Kyriakos Georgiou, Zbigniew Chamski, Andres Amaya Garcia, David May, Kerstin Eder
Published in: The Computer Journal, 2020, ISSN 0010-4620
Publisher: Oxford University Press
DOI: 10.1093/comjnl/bxaa103

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

Author(s): A. M. Coutinho Demetrios, Daniele De Sensi, Arthur Francisco Lorenzon, Kyriakos Georgiou, Jose Nunez-Yanez, Kerstin Eder, Samuel Xavier-de-Souza
Published in: Energies, 13/9, 2020, Page(s) 2409, ISSN 1996-1073
Publisher: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.3390/en13092409

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

Author(s): Adam Seewald, Ulrik Pagh Schultz, Emad Ebeid, Henrik Skov Midtiby
Published in: International Journal of Parallel Programming, 49/2, 2021, Page(s) 136-157, ISSN 0885-7458
Publisher: Kluwer Academic Publishers
DOI: 10.1007/s10766-019-00645-y

Code-Inherent Traffic Shaping for Hard Real-Time Systems

Author(s): Dominic Oehlert, Selma Saidi, Heiko Falk
Published in: ACM Transactions on Embedded Computing Systems, 18/5s, 2019, Page(s) 1-21, ISSN 1539-9087
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3358215

Optimizing Inner Product Masking Scheme by a Coding Theory Approach

Author(s): Wei Cheng, Sylvain Guilley, Claude Carlet, Sihem Mesnager, Jean-Luc Danger
Published in: IEEE Transactions on Information Forensics and Security, 16, 2021, Page(s) 220-235, ISSN 1556-6013
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tifs.2020.3009609

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

Author(s): Emad Ebeid, Martin Skriver, Kristian Husum Terkildsen, Kjeld Jensen, Ulrik Pagh Schultz
Published in: Microprocessors and Microsystems, 61, 2018, Page(s) 11-20, ISSN 0141-9331
Publisher: Elsevier BV
DOI: 10.1016/j.micpro.2018.05.002

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

Author(s): Vladimir Janjic, Christopher Brown, Adam Barwell, Kevin Hammond
Published in: Concurrency and Computation: Practice and Experience, 2019, ISSN 1532-0626
Publisher: John Wiley & Sons Inc.
DOI: 10.1002/cpe.5420

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

Author(s): Christopher Brown, Vladimir Janjic, M. Goli, J. McCall
Published in: International Journal of Parallel Programming, 48/4, 2020, Page(s) 583-602, ISSN 0885-7458
Publisher: Kluwer Academic Publishers
DOI: 10.1007/s10766-020-00665-z

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

Author(s): Christopher Brown, Vladimir Janjic, Adam D. Barwell, J. Daniel Garcia, Kenneth MacKenzie
Published in: International Journal of Parallel Programming, 48/4, 2020, Page(s) 603-625, ISSN 0885-7458
Publisher: Kluwer Academic Publishers
DOI: 10.1007/s10766-020-00667-x

Proof-Carrying Plans

Author(s): 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
Published in: Practical Aspects of Declarative Languages, 2019, ISSN 0302-9743
Publisher: Springer Verlag

Compiling for the Worst Case

Author(s): Arno Luppold, Dominic Oehlert, Heiko Falk
Published in: ACM Transactions on Embedded Computing Systems, 19/2, 2020, Page(s) 1-26, ISSN 1539-9087
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3381752

Detecting faults in inner product masking scheme

Author(s): Wei Cheng, Claude Carlet, Kouassi Goli, Jean-Luc Danger, Sylvain Guilley
Published in: Journal of Cryptographic Engineering, 2020, ISSN 2190-8508
Publisher: Springer Science + Business Media
DOI: 10.1007/s13389-020-00227-6

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

Author(s): Claude Carlet, Eloi de Cherisey, Sylvain Guilley, Selcuk Kavut, Deng Tang
Published in: IEEE Transactions on Information Forensics and Security, 16, 2021, Page(s) 203-218, ISSN 1556-6013
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tifs.2020.3006399

When Parallel Speedups Hit the Memory Wall

Author(s): Alex F. A. Furtunato, Kyriakos Georgiou, Kerstin Eder, Samuel Xavier-De-Souza
Published in: IEEE Access, 8, 2020, Page(s) 79225-79238, ISSN 2169-3536
Publisher: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2020.2990418

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

Author(s): Julius Roeder, Benjamin Rouxel, Sebastian Altmeyer, Clemens Grelck
Published in: 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
Publisher: Euromicro, ECRTS

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

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

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

Author(s): Georgios Zamanakos, Adam Seewald, Henrik Skov Midtiby, Ulrik Pagh Schultz
Published in: 2020 Fourth IEEE International Conference on Robotic Computing (IRC), Yearly, 2020, Page(s) 294-297, ISBN 978-1-7281-5237-0
Publisher: IEEE
DOI: 10.1109/irc.2020.00054

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

Author(s): Adam Seewald
Published in: Proceedings of the IROS Workshop on Planetary Exploration Robots: Challenges and Opportunities (PlanRobo'20), 2020, Page(s) 3
Publisher: ETH Zurich
DOI: 10.3929/ethz-b-000450120

Type-Driven Verification of Non-functional Properties

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

Energy-Optimal Configurations for Single-Node HPC Applications

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

A trustworthy framework for resource-aware embedded programming

Author(s): Adam D. Barwell, Christopher Brown
Published in: Proceedings of the 31st Symposium on Implementation and Application of Functional Languages, 2019, Page(s) 1-12, ISBN 9781450375627
Publisher: ACM
DOI: 10.1145/3412932.3412944

Mechanical and Computational Energy Estimation of a Fixed-Wing Drone

Author(s): Adam Seewald, Hector Garcia De Marina, Henrik Skov Midtiby, Ulrik Pagh Schultz
Published in: 2020 Fourth IEEE International Conference on Robotic Computing (IRC), Yearly, 2020, Page(s) 135-142, ISBN 978-1-7281-5237-0
Publisher: IEEE
DOI: 10.1109/irc.2020.00028

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

Author(s): Julius Roeder, Benjamin Rouxel, Clemens Grelck
Published in: 14th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC 2021), 2021, Page(s) 8
Publisher: IEEE

Q-learning for Statically Scheduling DAGs

Author(s): Julius Roeder, Benjamin Rouxel, Clemens Grelck
Published in: 2020 IEEE International Conference on Big Data (Big Data), 2020, Page(s) 5813-5815, ISBN 978-1-7281-6251-5
Publisher: IEEE
DOI: 10.1109/bigdata50022.2020.9378062

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

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

Measuring and Modeling Energy Consumption of Embedded Systems for Optimizing Compilers

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

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

Author(s): Dominic Oehlert, Arno Luppold, Heiko Falk
Published in: Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems, 2019
Publisher: ACM
DOI: 10.15480/882.2229

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

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

Multi-objective optimization for the compiler of real-time systems based on flower pollination algorithm

Author(s): Jadhav, Shashank; Falk, Heiko
Published in: The 22nd International Workshop on Software and Compilers for Embedded Systems, of SCOPES '19, 3, 2019
Publisher: ACM
DOI: 10.15480/882.2269

Type-driven Verification of Extra-functional Properties

Author(s): Christopher Mark Brown, Adam David Barwell, Yoann Marquer, Celine Minh, Olivier Zendra
Published in: 21st International Symposium on Principles and Practice of Declarative Programming (PPDP 2019), 2019
Publisher: ACM

Reasoning about non-functional properties using compiler intrinsic function annotations

Author(s): Shashank Jadhav, Mikko Roth, Heiko Falk, Chris Brown, Adam Barwell
Published in: Proceedings of the 13th Junior Researcher Workshop on Real-Time Computing (JRWRTC), 2019, Page(s) 25-28
Publisher: TUHH
DOI: 10.15480/882.2545

Type-Driven Verification of Non-functional Properties

Author(s): Christopher Brown, Adam D. Barwell, Yoann Marquer, Céline Minh, Olivier Zendra
Published in: Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019, 2019, Page(s) 1-15, ISBN 9781-450372497
Publisher: ACM
DOI: 10.1145/3354166.3354171

Technology-agnostic power optimization for AES block cipher

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

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

Author(s): Julius Roeder, Benjamin Rouxel, Sebastian Altmeyer, Clemens Grelck
Published in: 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
Publisher: INP ENSEEIHT

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

Author(s): Julius Roeder, Benjamin Rouxel, Sebastian Altmeyer, Clemens Grelck
Published in: Proceedings of the 36th Annual ACM Symposium on Applied Computing, Yearly, 2021, Page(s) 501-510, ISBN 9781450381048
Publisher: ACM
DOI: 10.1145/3412841.3441930

Component-based computation-energy modeling for embedded systems

Author(s): Adam Seewald, Ulrik Pagh Schultz, Julius Roeder, Benjamin Rouxel, Clemens Grelck
Published in: 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
Publisher: ACM
DOI: 10.1145/3359061.3362775

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

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

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

Author(s): Yoann Marquer, Tania Richmond
Published in: 2020 IEEE 27th Symposium on Computer Arithmetic (ARITH), 2020, Page(s) 56-63, ISBN 978-1-7281-7120-3
Publisher: IEEE
DOI: 10.1109/ARITH48897.2020.00017

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

Author(s): Jose Nunez-Yanez, Kris Nikov, Kerstin Eder, Mohammad Hosseinabady
Published in: 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
Publisher: ACM
DOI: 10.1145/3381427.3381429

Cache-Timing Attacks Still Threaten IoT Devices

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

Security Evaluation Against Side-Channel Analysis at Compilation Time

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

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

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

Fault Analysis Assisted by Simulation

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

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

Author(s): Julius Roeder, Benjamin Rouxel, Sebastian Altmeyer, Clemens Grelck
Published in: 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, 12134, 2020, Page(s) 57-74, ISBN 978-3-030-50028-3
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-50029-0_4