1. The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems
- Author
-
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, 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), and Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)
- Subjects
MCC ,QA75 ,FOS: Computer and information sciences ,Computer Science - Cryptography and Security ,Energy ,System design ,Energy Real-Time Security System design ,QA75 Electronic computers. Computer science ,T-NDAS ,Real-Time ,Software Engineering (cs.SE) ,Computer Science - Software Engineering ,[INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF] ,Security ,Real-time ,Cryptography and Security (cs.CR) - Abstract
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
- Published
- 2023
- Full Text
- View/download PDF