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

Rezultaty

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

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

Public Mailing Lists

Publikacje

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

Autorzy: Kris Nikov, Marcos Martinez, Simon Wegener, Jose Nunez-Yanez, Zbigniew Chamski, Kyriakos Georgiou, Kerstin Eder
Opublikowane w: 2021
Wydawca: arXiv

GR712RC LEON3 Power Model Data

Autorzy: Kris Nikov, Marcos Martinez, Pedro Vallejo, Abel Balbis, Jose Nunez-Yanez, Kerstin Eder
Opublikowane w: IEEE Dataport, 2021
Wydawca: IEEE
DOI: 10.21227/1y7r-am78

Evaluating the Performance of Solvers for Integer-Linear Programming

Autorzy: Arno Luppold, Dominic Oehlert, Heiko Falk
Opublikowane w: 2018
Wydawca: Hamburg University of Technology
DOI: 10.15480/882.1839

Lost In Translation: Exposing Hidden Compiler Optimization Opportunities

Autorzy: Kyriakos Georgiou, Zbigniew Chamski, Andres Amaya Garcia, David May, Kerstin Eder
Opublikowane w: The Computer Journal, 2020, ISSN 0010-4620
Wydawca: Oxford University Press
DOI: 10.1093/comjnl/bxaa103

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

Autorzy: A. M. Coutinho Demetrios, Daniele De Sensi, Arthur Francisco Lorenzon, Kyriakos Georgiou, Jose Nunez-Yanez, Kerstin Eder, Samuel Xavier-de-Souza
Opublikowane w: Energies, Numer 13/9, 2020, Strona(/y) 2409, ISSN 1996-1073
Wydawca: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.3390/en13092409

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

Autorzy: Adam Seewald, Ulrik Pagh Schultz, Emad Ebeid, Henrik Skov Midtiby
Opublikowane w: International Journal of Parallel Programming, Numer 49/2, 2021, Strona(/y) 136-157, ISSN 0885-7458
Wydawca: Kluwer Academic Publishers
DOI: 10.1007/s10766-019-00645-y

Code-Inherent Traffic Shaping for Hard Real-Time Systems

Autorzy: Dominic Oehlert, Selma Saidi, Heiko Falk
Opublikowane w: ACM Transactions on Embedded Computing Systems, Numer 18/5s, 2019, Strona(/y) 1-21, ISSN 1539-9087
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.1145/3358215

Optimizing Inner Product Masking Scheme by a Coding Theory Approach

Autorzy: Wei Cheng, Sylvain Guilley, Claude Carlet, Sihem Mesnager, Jean-Luc Danger
Opublikowane w: IEEE Transactions on Information Forensics and Security, Numer 16, 2021, Strona(/y) 220-235, ISSN 1556-6013
Wydawca: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tifs.2020.3009609

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

Autorzy: Emad Ebeid, Martin Skriver, Kristian Husum Terkildsen, Kjeld Jensen, Ulrik Pagh Schultz
Opublikowane w: Microprocessors and Microsystems, Numer 61, 2018, Strona(/y) 11-20, ISSN 0141-9331
Wydawca: Elsevier BV
DOI: 10.1016/j.micpro.2018.05.002

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

Autorzy: Vladimir Janjic, Christopher Brown, Adam Barwell, Kevin Hammond
Opublikowane w: Concurrency and Computation: Practice and Experience, 2019, ISSN 1532-0626
Wydawca: John Wiley & Sons Inc.
DOI: 10.1002/cpe.5420

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

Autorzy: Christopher Brown, Vladimir Janjic, M. Goli, J. McCall
Opublikowane w: International Journal of Parallel Programming, Numer 48/4, 2020, Strona(/y) 583-602, ISSN 0885-7458
Wydawca: Kluwer Academic Publishers
DOI: 10.1007/s10766-020-00665-z

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

Autorzy: Christopher Brown, Vladimir Janjic, Adam D. Barwell, J. Daniel Garcia, Kenneth MacKenzie
Opublikowane w: International Journal of Parallel Programming, Numer 48/4, 2020, Strona(/y) 603-625, ISSN 0885-7458
Wydawca: Kluwer Academic Publishers
DOI: 10.1007/s10766-020-00667-x

Proof-Carrying Plans

Autorzy: 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
Opublikowane w: Practical Aspects of Declarative Languages, 2019, ISSN 0302-9743
Wydawca: Springer Verlag

Compiling for the Worst Case

Autorzy: Arno Luppold, Dominic Oehlert, Heiko Falk
Opublikowane w: ACM Transactions on Embedded Computing Systems, Numer 19/2, 2020, Strona(/y) 1-26, ISSN 1539-9087
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.1145/3381752

Detecting faults in inner product masking scheme

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

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

Autorzy: Claude Carlet, Eloi de Cherisey, Sylvain Guilley, Selcuk Kavut, Deng Tang
Opublikowane w: IEEE Transactions on Information Forensics and Security, Numer 16, 2021, Strona(/y) 203-218, ISSN 1556-6013
Wydawca: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tifs.2020.3006399

When Parallel Speedups Hit the Memory Wall

Autorzy: Alex F. A. Furtunato, Kyriakos Georgiou, Kerstin Eder, Samuel Xavier-De-Souza
Opublikowane w: IEEE Access, Numer 8, 2020, Strona(/y) 79225-79238, ISSN 2169-3536
Wydawca: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2020.2990418

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

Autorzy: Julius Roeder, Benjamin Rouxel, Sebastian Altmeyer, Clemens Grelck
Opublikowane w: 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
Wydawca: Euromicro, ECRTS

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

Autorzy: Benjamin Rouxel, Ulrik Pagh Schultz, Benny Akesson, Jesper Holst, Ole Jørgensen, Clemens Grelck
Opublikowane w: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2020, Strona(/y) 70-83, ISBN 9781450381741
Wydawca: ACM
DOI: 10.1145/3425898.3426954

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

Autorzy: Georgios Zamanakos, Adam Seewald, Henrik Skov Midtiby, Ulrik Pagh Schultz
Opublikowane w: 2020 Fourth IEEE International Conference on Robotic Computing (IRC), Numer Yearly, 2020, Strona(/y) 294-297, ISBN 978-1-7281-5237-0
Wydawca: IEEE
DOI: 10.1109/irc.2020.00054

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

Autorzy: Adam Seewald
Opublikowane w: Proceedings of the IROS Workshop on Planetary Exploration Robots: Challenges and Opportunities (PlanRobo'20), 2020, Strona(/y) 3
Wydawca: ETH Zurich
DOI: 10.3929/ethz-b-000450120

Type-Driven Verification of Non-functional Properties

Autorzy: Christopher Brown, Adam D. Barwell, Yoann Marquer, Céline Minh, Olivier Zendra
Opublikowane w: Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming, 2019, Strona(/y) 1-15, ISBN 9781450372497
Wydawca: ACM

Energy-Optimal Configurations for Single-Node HPC Applications

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

A trustworthy framework for resource-aware embedded programming

Autorzy: Adam D. Barwell, Christopher Brown
Opublikowane w: Proceedings of the 31st Symposium on Implementation and Application of Functional Languages, 2019, Strona(/y) 1-12, ISBN 9781450375627
Wydawca: ACM
DOI: 10.1145/3412932.3412944

Mechanical and Computational Energy Estimation of a Fixed-Wing Drone

Autorzy: Adam Seewald, Hector Garcia De Marina, Henrik Skov Midtiby, Ulrik Pagh Schultz
Opublikowane w: 2020 Fourth IEEE International Conference on Robotic Computing (IRC), Numer Yearly, 2020, Strona(/y) 135-142, ISBN 978-1-7281-5237-0
Wydawca: IEEE
DOI: 10.1109/irc.2020.00028

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

Autorzy: Julius Roeder, Benjamin Rouxel, Clemens Grelck
Opublikowane w: 14th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC 2021), 2021, Strona(/y) 8
Wydawca: IEEE

Q-learning for Statically Scheduling DAGs

Autorzy: Julius Roeder, Benjamin Rouxel, Clemens Grelck
Opublikowane w: 2020 IEEE International Conference on Big Data (Big Data), 2020, Strona(/y) 5813-5815, ISBN 978-1-7281-6251-5
Wydawca: IEEE
DOI: 10.1109/bigdata50022.2020.9378062

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

Autorzy: Kyriakos Georgiou, Craig Blackmore, Samuel Xavier-de-Souza, Kerstin Eder
Opublikowane w: Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems - SCOPES '18, 2018, Strona(/y) 35-42, ISBN 9781-450357807
Wydawca: ACM Press
DOI: 10.1145/3207719.3207727

Measuring and Modeling Energy Consumption of Embedded Systems for Optimizing Compilers

Autorzy: Mikko Roth, Arno Luppold, Heiko Falk
Opublikowane w: Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems - SCOPES '18, 2018, Strona(/y) 86-89, ISBN 9781-450357807
Wydawca: ACM Press
DOI: 10.1145/3207719.3207729

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

Autorzy: Dominic Oehlert, Arno Luppold, Heiko Falk
Opublikowane w: Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems, 2019
Wydawca: ACM
DOI: 10.15480/882.2229

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

Autorzy: Shashank Jadhav, Heiko Falk
Opublikowane w: Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems - SCOPES '19, 2019, Strona(/y) 45-48, ISBN 9781-450367622
Wydawca: ACM Press
DOI: 10.1145/3323439.3323977

Reasoning about non-functional properties using compiler intrinsic function annotations

Autorzy: Shashank Jadhav, Mikko Roth, Heiko Falk, Chris Brown, Adam Barwell
Opublikowane w: Proceedings of the 13th Junior Researcher Workshop on Real-Time Computing (JRWRTC), 2019, Strona(/y) 25-28
Wydawca: TUHH
DOI: 10.15480/882.2545

Technology-agnostic power optimization for AES block cipher

Autorzy: Kais Chibani, Adrien Facon, Sylvain Guilley, Youssef Souissi
Opublikowane w: 2018 25th IEEE International Conference on Electronics, Circuits and Systems (ICECS), 2018, Strona(/y) 397-400, ISBN 978-1-5386-9562-3
Wydawca: IEEE
DOI: 10.1109/icecs.2018.8617921

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

Autorzy: Julius Roeder, Benjamin Rouxel, Sebastian Altmeyer, Clemens Grelck
Opublikowane w: 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
Wydawca: INP ENSEEIHT

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

Autorzy: Julius Roeder, Benjamin Rouxel, Sebastian Altmeyer, Clemens Grelck
Opublikowane w: Proceedings of the 36th Annual ACM Symposium on Applied Computing, Numer Yearly, 2021, Strona(/y) 501-510, ISBN 9781450381048
Wydawca: ACM
DOI: 10.1145/3412841.3441930

Component-based computation-energy modeling for embedded systems

Autorzy: Adam Seewald, Ulrik Pagh Schultz, Julius Roeder, Benjamin Rouxel, Clemens Grelck
Opublikowane w: Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, 2019, Strona(/y) 5-6, ISBN 9781450369923
Wydawca: ACM
DOI: 10.1145/3359061.3362775

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

Autorzy: Uraz Odyurt, Julius Roeder, Andy D. Pimentel, Ignacio Gonzalez Alonso, Cees de Laat
Opublikowane w: 2021 4th IEEE International Conference on Industrial Cyber-Physical Systems (ICPS), 2021, Strona(/y) 152-157, ISBN 978-1-7281-6207-2
Wydawca: IEEE
DOI: 10.1109/icps49255.2021.9468262

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

Autorzy: Yoann Marquer, Tania Richmond
Opublikowane w: 2020 IEEE 27th Symposium on Computer Arithmetic (ARITH), 2020, Strona(/y) 56-63, ISBN 978-1-7281-7120-3
Wydawca: IEEE
DOI: 10.1109/ARITH48897.2020.00017

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

Autorzy: Jose Nunez-Yanez, Kris Nikov, Kerstin Eder, Mohammad Hosseinabady
Opublikowane w: 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, Strona(/y) 1-6, ISBN 9781450375450
Wydawca: ACM
DOI: 10.1145/3381427.3381429

Cache-Timing Attacks Still Threaten IoT Devices

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

Security Evaluation Against Side-Channel Analysis at Compilation Time

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

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

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

Fault Analysis Assisted by Simulation

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

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

Autorzy: Julius Roeder, Benjamin Rouxel, Sebastian Altmeyer, Clemens Grelck
Opublikowane w: 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, Numer 12134, 2020, Strona(/y) 57-74, ISBN 978-3-030-50028-3
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-50029-0_4

Wyszukiwanie danych OpenAIRE...

Rezultaty

Publikacje

Udostępnij tę stronę

Pobierz