The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems

Autor: Rouxel, Benjamin, Brown, Christopher, Ebeid, Emad, Eder, Kerstin, Falk, Heiko, Grelck, Clemens, Holst, Jesper, Jadhav, Shashank, Marquer, Yoann, De Alejandro, Marcos Martinez, Nikov, Kris, Sahafi, Ali, Lundquist, Ulrik Pagh Schultz, Seewald, Adam, Vassalos, Vangelis, Wegener, Simon, Zendra, Olivier
Přispěvatelé: European Commission, University of St Andrews. School of Computer Science, Università degli Studi di Modena e Reggio Emilia = University of Modena and Reggio Emilia (UNIMORE), School of Computer Science [University of St Andrews], University of St Andrews [Scotland], University of Southern Denmark (SDU), Computer Science Department [Bristol], University of Bristol [Bristol], Technische Universität Hamburg-Harburg (TUHH), University of Amsterdam [Amsterdam] (UvA), Skywatch A/S [Støvring], University of Luxembourg [Luxembourg], Thales Alenia Space Spain [Madrid] (TAS-E), Yale University [New Haven], Irida Labs [Magoula], AbsInt GmbH (Angewandte Informatik), AbsInt, Diversity-centric Software Engineering (DiverSe), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)
Rok vydání: 2023
Předmět:
Zdroj: DATE 2023-Design, Automation and Test in Europe Conference
DATE 2023-Design, Automation and Test in Europe Conference, Apr 2023, Antwerp, Belgium. pp.1-6
DOI: 10.48550/arxiv.2306.06115
Popis: Funding: This work was supported by the EU Horizon-2020 project TeamPlay (https://www.teamplay-h2020.eu), grant #779882. Non-functional properties, such as energy, time, and security (ETS) are becoming increasingly important for the programming of Cyber-Physical Systems (CPS). This paper describes TeamPlay, a research project funded under the EU Horizon 2020 programme between January 2018 and June 2021.TeamPlay aimed to provide the system designer with a toolchain for developing embedded applications where ETS properties are first-class citizens, allowing the developer to reflect directly on energy, time and security properties at the source code level. In this paper we give an overview of the TeamPlay methodology, introduce the challenges and solutions of our approach and summarise the results achieved. Overall, applying our TeamPlay methodology led to an improvement of up to 18% performance and 52% energy usage over traditional approaches. Postprint
Databáze: OpenAIRE