Intelligent software-UPDATE technologies for safe and secure mixed-criticality and high performance cyber physical systems

Informazioni relative al progetto

UP2DATE

ID dell’accordo di sovvenzione: 871465

DOI

10.3030/871465

Progetto chiuso

Data della firma CE 11 Ottobre 2019

Data di avvio 1 Gennaio 2020

Data di completamento 31 Dicembre 2022

Finanziato da

• INDUSTRIAL LEADERSHIP - Leadership in enabling and industrial technologies - Information and Communication Technologies (ICT)

Costo totale

€ 3 846 290,00

Contributo UE

€ 3 846 290,00

Coordinato da

IKERLAN S. COOP
Spain

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Risultati finali

Documents, reports (13)

First Report on C&D activities
Second Project Exploitation and Dissemination Plan
Final UP2DATE Architecture Safety-security concept

Final version update of the UP2DATE architecture and its SASE concept considering the final version of its modules

First Project Exploitation and Dissemination Plan
Initial UP2DATE Architecture definition

Architecture and initial SASE concept

Recommendations for Standards in dynamic Updates

Final conclusions on SASE interplay

Second Report on C&D activities

Second Report on CD activities

Baseline definition

Platform selection, setup and software required around it

Initial Monitoring and Controllability report

Early status in all the tasks in the WP by m15 providing the initial concepts developed for monitoring and control (event monitors strategy, safety and security metrics definition based on event monitors and acquiring frequency)

Definition of relevant SASE criteria for contracts

Identification of the most properties suitable properties to enforce safety and security

Mid UP2DATE Architecture definition

Mid version of the architecture after incremental redesign and the SASE assessment of all the concepts included on it

Demonstrators evaluation conclusions

Results obtained from both use cases during the execution of the evaluation plan and the conclusions reached regarding UP2DATE

UP2DATE Middleware foundations

Report that will provide the basic concepts about modular and composable updates, explaining and specifying into detail the horizontal and vertical contracts

Websites, patent fillings, videos etc. (3)

Second Promotional material (newsletters, flyer, videos, video news release)

Second Promotional material newsletters flyer videos video news release

First Promotional material (newsletters, flyer, videos, video news release)
Project web site and social network profiles. CMS guide for all partners.

Other (1)

Final event

Final event for the presentation of the project resutls.

Pubblicazioni

Conference proceedings (19)

Mapping and Scheduling Automotive Applications on ADAS Platforms using Metaheuristics

Autori: Shane D. McLean, Silviu S. Craciunas, Emil Alexander Juul Hansen, Paul Pop
Pubblicato in: 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2020, Pagina/e 329-336, ISBN 978-1-7281-8956-7
Editore: IEEE
DOI: 10.1109/etfa46521.2020.9212029

Modular Updates for Safety Critical Real Time Systems

Autori: Domenik Helms, Patrick Uven, Kim Grüttner
Pubblicato in: INSIGHT 2022, 2022
Editore: INSTIGHT

Cetratus: Live Updates in Programmable Logic Controllers

Autori: Imanol Mugarza; Juan Carlos Mugarza
Pubblicato in: 2021 IEEE International Workshop of Electronics, Control, Measurement, Signals and their application to Mechatronics (ECMSM), Numero 7, 2021
Editore: IEEE International Workshop of Electronics, Control, Measurement, Signals and their application to Mechatronics (ECMSM 2021)
DOI: 10.5281/zenodo.4820231

A TASTE of Binarised Neural Network Inference for On-Board FPGAS.

Autori: Jannis Wolf, and Leonidas Kosmidis
Pubblicato in: ESA Workshop on Model Based Space Systems and Software Engineering (MBSE), 2021
Editore: ESA

Towards a Contract-Based Definition of Update-Compatibility -- Modelling Safety- and Security-Criteria

Autori: Irune Yarza, Irune Agirre, Patrick Uven, Gregor Nitsche
Pubblicato in: IEEE, 2023
Editore: IEEE ACCESS

The UP2DATE Baseline Research Platforms

Autori: Alvaro Jover-Alvarez, Alejandro J. Calderon, Ivan Rodriguez, Leonidas Kosmidis, Kazi Asifuzzaman, Patrick Uven, Kim Gruttner, Tomaso Poggi, Irune Agirre
Pubblicato in: 2021
Editore: IEEE
DOI: 10.23919/date51398.2021.9474040

Software Updates Monitoring & Anomaly Detection

Autori: Imanol Etxezarreta; David Garcia Villaescusa; Imanol Mugarza; Irune Yarza; Irune Agirre
Pubblicato in: IoTBDS, Numero 2, 2023
Editore: SCITEPRESS Digital Library
DOI: 10.5281/zenodo.7611576

Safe and secure software updates on high-performance embedded systems

Autori: Irune Agirre
Pubblicato in: DSN 2020, Numero 1, 2020
Editore: IEEE Xplore
DOI: 10.1109/dsn-w50199.2020.00021

Towards a Contract-Based Definition of Update-Compatibility -- Syntax, Semantics and Formal Approach

Autori: Gregor Nitsche, Patrick Uven, Irune Yarza, Irune Agirre,
Pubblicato in: IEEE, 2023
Editore: IEEE ACCESS

Reliable Machine Learning Acceleration for Future Space Processors and FPGAs: Leon, Noel-V And Taste

Autori: Marc Solé, Jannis Wolf, Leonidas Kosmidis
Pubblicato in: OBDP 2021, 2021
Editore: OBDP2021 - 2nd European Workshop on On-Board Data Processing
DOI: 10.5281/zenodo.5569016

SPARROW: A low-cost hardware/software co-designed SIMD microarchitecture for AI operations in space processors

Autori: Solé Bonet, Marc; Kosmidis, Leonidas
Pubblicato in: DATE 2022, Numero 3, 2022
Editore: DATE
DOI: 10.23919/date54114.2022.9774730

UP2DATE: Safe and secure over-the-air software updates on high-performance mixed-criticality systems

Autori: Irune Agirre, Peio Onaindia, Tomasso Poggi, Irune Yarza, Francisco J. Cazorla, Leonidas Kosmidis, Kim Gruttner, Mohammed Abuteir, Jan Loewe, Juan M. Orbegozo, Stefania Botta
Pubblicato in: 2020 23rd Euromicro Conference on Digital System Design (DSD), 2020, Pagina/e 344-351, ISBN 978-1-7281-9535-3
Editore: IEEE
DOI: 10.1109/dsd51259.2020.00063

Empirical Evidence for MPSoCs in Critical Systems: The Case of NXP's T2080 Cache Coherence

Autori: Roger Pujol, Hamid Tabani, Jaume Abella, Mohamed Hassan, Francisco J. Cazorla
Pubblicato in: 2021
Editore: IEEE
DOI: 10.23919/date51398.2021.9474078

Randomisation of GPU Software: A pedestrian detection case study

Autori: Alvaro Jover, Matina Maria Trompouki, Leonidas Kosmidis
Pubblicato in: ADA-EUROPE, 2023
Editore: journal of systems Architecture JSA

En-Route - on enabling resource usage testing for autonomous driving frameworks

Autori: Miguel Alcon, Hamid Tabani, Jaume Abella, Leonidas Kosmidis, Francisco J. Cazorla
Pubblicato in: Proceedings of the 35th Annual ACM Symposium on Applied Computing, 2020, Pagina/e 1953-1962, ISBN 9781450368667
Editore: ACM
DOI: 10.1145/3341105.3373938

Evaluation of the suitability of SYCL for safety critical programming using an open source pedestrian detection case study

Autori: Cristina Peralta, Alvaro Jover, Matina Maria Trompouki, Leonidas Kosmidis,
Pubblicato in: IWOCL and SYCLCON, 2023
Editore: ACM Digital Library

Safety and Security Concept for Software Updates on Mixed-criticality Systems

Autori: Imanol Mugarza; Irune Agirre; Irune Yarza; Fabrizio Lussiana; Stefania Botta
Pubblicato in: 2021 5th International Conference on System Reliability and Safety (ICSRS), Numero 4, 2022
Editore: IEEE
DOI: 10.1109/icsrs53853.2021.9660658

Recommendations for Safe and Secure software updates in Safety critical domain

Autori: Irune Agirre, Irune Yarza, Imanol Mugarza, Lucas Borracci, Peio Onaindia.
Pubblicato in: ADA-EUROPE, 2023
Editore: journal of systems Architecture JSA

Fast-Yet-Accurate Timing and Power Prediction of Artificial Neural Networks Deployed on Clock-Gated Multi-Core Platforms

Autori: Quentin Dariol, Sébastien Le Nours, Domenik Helms, Ralf Stemmer, Sébastien Pillement , Kim Grüttner
Pubblicato in: Rapido - HIPEAC, 2023
Editore: HIPEAC

Peer reviewed articles (4)

Safety and security collaborative analysis framework for high-performance embedded computing devices

Autori: Irune Yarza; Irune Agirre; Imanol Mugarza; Jon Perez Cerrolaza
Pubblicato in: Microprocessors and microsystems, Numero 2, 2021, ISSN 0141-9331
Editore: Elsevier BV
DOI: 10.1016/j.micpro.2022.104572

GPU Devices for Safety-Critical Systems: A Survey

Autori: Jon Perez, Alejandro J. Calderón, Leonidas Kosmidis, Jaume Abela,
Pubblicato in: ACM Computing Surveys, 2022, ISSN 0360-0300
Editore: Association for Computing Machinary, Inc.
DOI: 10.1145/3549526

Legacy software migration based on timing contract aware real-time execution environments

Autori: Irune Yarza, Mikel Azkarate-askatsua, Peio Onaindia, Kim Grüttner, Philipp Ittershagen, Wolfgang Nebel
Pubblicato in: Journal of Systems and Software, Numero 172, 2021, Pagina/e 110849, ISSN 0164-1212
Editore: Elsevier BV
DOI: 10.1016/j.jss.2020.110849

Safe and secure software updates on high-performance mixed-criticality systems: The UP2DATE approach

Autori: Irune Agirre; Irune Yarza; Imanol Mugarza; Jacopo Binchi; Peio Onaindia; Tomasso Poggi; Francisco J. Cazorla; Leonidas Kosmidis; Kim Grüttner; Patrick Uven; Mohammed Abuteir; Jan Loewe; Juan M. Orbegozo; Stefania Botta
Pubblicato in: Special Numero of the Elsevier Microprocessors and Microsystems, Numero 9, 2020, ISSN 0141-9331
Editore: Elsevier BV
DOI: 10.1016/j.micpro.2021.104351

Thesis and dissertations (7)

On the analysis of hardware event monitors accuracy in MPSoCs for real-time computing systems

Autori: Barrera Herrera, Javier Enrique
Pubblicato in: Universitat Politecnica de Catalunya, 2020
Editore: UPCommons

Evaluation of GPU resource sharing solutions for virtualized environment based on evaluation metrics

Autori: Susmita Dey
Pubblicato in: Hochschule Bremerhaven, 2022
Editore: Hochschule Bremerhaven

Hardware-Software Co-design for Low-cost AI processing in Space Processors

Autori: Marc Sole Bonet
Pubblicato in: Universitat Politecnica de Catalunya, 2021
Editore: UPCommons

AnomalyHUNT - Detecting anomalies based on system traces in embedded Linux devices

Autori: Jan Cordes
Pubblicato in: Carl von Ossietzky, 2022
Editore: DLR elib

PhD Thesis Real-time high-performance computing for embedded control systems

Autori: Alejandro Josué Calderón Torres
Pubblicato in: Universitat Politecnica de Catalunya, 2022
Editore: UPCommons

Evaluation of the Parallel Computational Capabilities of Embedded Platforms for Critical Systems

Autori: Alvaro Jover Alvarez
Pubblicato in: Universitat Politecnica de Catalunya, 2021
Editore: UPCommons

Evaluation of High-Level Programming Models for High-Performance Critical Systems

Autori: Cristina Peralta Quesada
Pubblicato in: Universitat Politecnica de Catalunya, 2022
Editore: UPCommons

Book chapters (1)

Assessing and Improving the Suitability of Model-Based Design for GPU-Accelerated Railway Control Systems

Autori: Alejandro J. Calderón, Leonidas Kosmidis, Carlos F. Nicolás, Javier de Lasala, Ion Larrañaga
Pubblicato in: Architecture of Computing Systems - 34th International Conference, ARCS 2021, Virtual Event, June 7–8, 2021, Proceedings, Numero 12800, 2021, Pagina/e 68-83, ISBN 978-3-030-81681-0
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-81682-7_5