Project Details

Description

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.
Short titleTime, Energy and security Analysis for Multi/Many-core heterogenous PLAtforms
StatusActive
Effective start/end date01/01/201831/12/2020

Related Research Output

  • 2 Journal article
  • 1 Conference abstract in proceedings
Open Access
  • Component-based computation-energy modeling for embedded systems

    Seewald, A., Schultz, U. P., Roeder, J., Rouxel, B. & Grelck, C., 20. Oct 2019, Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity. Smaragdakis, Y. (ed.). New York, NY, USA: Association for Computing Machinery, p. 5-6

    Research output: Chapter in Book/Report/Conference proceedingConference abstract in proceedingsResearchpeer-review

    Open Access
  • A Survey of Open-Source UAV Flight Controllers and Flight Simulators

    Ebeid, E. S. M., Skriver, M., Terkildsen, K. H., Jensen, K. & Schultz, U. P., 1. Sep 2018, In : Microprocessors and Microsystems. 61, p. 11-20

    Research output: Contribution to journalJournal articleResearchpeer-review

    Open Access
    File
  • 298 Downloads (Pure)