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

Livrables

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

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.

Final event

Final event for the presentation of the project resutls.

Publications

Mapping and Scheduling Automotive Applications on ADAS Platforms using Metaheuristics

Auteurs: Shane D. McLean, Silviu S. Craciunas, Emil Alexander Juul Hansen, Paul Pop
Publié dans: 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2020, Page(s) 329-336, ISBN 978-1-7281-8956-7
Éditeur: IEEE
DOI: 10.1109/etfa46521.2020.9212029

Modular Updates for Safety Critical Real Time Systems

Auteurs: Domenik Helms, Patrick Uven, Kim Grüttner
Publié dans: INSIGHT 2022, 2022
Éditeur: INSTIGHT

Cetratus: Live Updates in Programmable Logic Controllers

Auteurs: Imanol Mugarza; Juan Carlos Mugarza
Publié dans: 2021 IEEE International Workshop of Electronics, Control, Measurement, Signals and their application to Mechatronics (ECMSM), Numéro 7, 2021
Éditeur: 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.

Auteurs: Jannis Wolf, and Leonidas Kosmidis
Publié dans: ESA Workshop on Model Based Space Systems and Software Engineering (MBSE), 2021
Éditeur: ESA

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

Auteurs: Irune Yarza, Irune Agirre, Patrick Uven, Gregor Nitsche
Publié dans: IEEE, 2023
Éditeur: IEEE ACCESS

The UP2DATE Baseline Research Platforms

Auteurs: Alvaro Jover-Alvarez, Alejandro J. Calderon, Ivan Rodriguez, Leonidas Kosmidis, Kazi Asifuzzaman, Patrick Uven, Kim Gruttner, Tomaso Poggi, Irune Agirre
Publié dans: 2021
Éditeur: IEEE
DOI: 10.23919/date51398.2021.9474040

Software Updates Monitoring & Anomaly Detection

Auteurs: Imanol Etxezarreta; David Garcia Villaescusa; Imanol Mugarza; Irune Yarza; Irune Agirre
Publié dans: IoTBDS, Numéro 2, 2023
Éditeur: SCITEPRESS Digital Library
DOI: 10.5281/zenodo.7611576

Safe and secure software updates on high-performance embedded systems

Auteurs: Irune Agirre
Publié dans: DSN 2020, Numéro 1, 2020
Éditeur: IEEE Xplore
DOI: 10.1109/dsn-w50199.2020.00021

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

Auteurs: Gregor Nitsche, Patrick Uven, Irune Yarza, Irune Agirre,
Publié dans: IEEE, 2023
Éditeur: IEEE ACCESS

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

Auteurs: Marc Solé, Jannis Wolf, Leonidas Kosmidis
Publié dans: OBDP 2021, 2021
Éditeur: 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

Auteurs: Solé Bonet, Marc; Kosmidis, Leonidas
Publié dans: DATE 2022, Numéro 3, 2022
Éditeur: DATE
DOI: 10.23919/date54114.2022.9774730

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

Auteurs: Irune Agirre, Peio Onaindia, Tomasso Poggi, Irune Yarza, Francisco J. Cazorla, Leonidas Kosmidis, Kim Gruttner, Mohammed Abuteir, Jan Loewe, Juan M. Orbegozo, Stefania Botta
Publié dans: 2020 23rd Euromicro Conference on Digital System Design (DSD), 2020, Page(s) 344-351, ISBN 978-1-7281-9535-3
Éditeur: IEEE
DOI: 10.1109/dsd51259.2020.00063

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

Auteurs: Roger Pujol, Hamid Tabani, Jaume Abella, Mohamed Hassan, Francisco J. Cazorla
Publié dans: 2021
Éditeur: IEEE
DOI: 10.23919/date51398.2021.9474078

Randomisation of GPU Software: A pedestrian detection case study

Auteurs: Alvaro Jover, Matina Maria Trompouki, Leonidas Kosmidis
Publié dans: ADA-EUROPE, 2023
Éditeur: journal of systems Architecture JSA

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

Auteurs: Miguel Alcon, Hamid Tabani, Jaume Abella, Leonidas Kosmidis, Francisco J. Cazorla
Publié dans: Proceedings of the 35th Annual ACM Symposium on Applied Computing, 2020, Page(s) 1953-1962, ISBN 9781450368667
Éditeur: ACM
DOI: 10.1145/3341105.3373938

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

Auteurs: Cristina Peralta, Alvaro Jover, Matina Maria Trompouki, Leonidas Kosmidis,
Publié dans: IWOCL and SYCLCON, 2023
Éditeur: ACM Digital Library

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

Auteurs: Imanol Mugarza; Irune Agirre; Irune Yarza; Fabrizio Lussiana; Stefania Botta
Publié dans: 2021 5th International Conference on System Reliability and Safety (ICSRS), Numéro 4, 2022
Éditeur: IEEE
DOI: 10.1109/icsrs53853.2021.9660658

Recommendations for Safe and Secure software updates in Safety critical domain

Auteurs: Irune Agirre, Irune Yarza, Imanol Mugarza, Lucas Borracci, Peio Onaindia.
Publié dans: ADA-EUROPE, 2023
Éditeur: journal of systems Architecture JSA

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

Auteurs: Quentin Dariol, Sébastien Le Nours, Domenik Helms, Ralf Stemmer, Sébastien Pillement , Kim Grüttner
Publié dans: Rapido - HIPEAC, 2023
Éditeur: HIPEAC

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

Auteurs: Irune Yarza; Irune Agirre; Imanol Mugarza; Jon Perez Cerrolaza
Publié dans: Microprocessors and microsystems, Numéro 2, 2021, ISSN 0141-9331
Éditeur: Elsevier BV
DOI: 10.1016/j.micpro.2022.104572

GPU Devices for Safety-Critical Systems: A Survey

Auteurs: Jon Perez, Alejandro J. Calderón, Leonidas Kosmidis, Jaume Abela,
Publié dans: ACM Computing Surveys, 2022, ISSN 0360-0300
Éditeur: Association for Computing Machinary, Inc.
DOI: 10.1145/3549526

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

Auteurs: Irune Yarza, Mikel Azkarate-askatsua, Peio Onaindia, Kim Grüttner, Philipp Ittershagen, Wolfgang Nebel
Publié dans: Journal of Systems and Software, Numéro 172, 2021, Page(s) 110849, ISSN 0164-1212
Éditeur: Elsevier BV
DOI: 10.1016/j.jss.2020.110849

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

Auteurs: 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
Publié dans: Special Numéro of the Elsevier Microprocessors and Microsystems, Numéro 9, 2020, ISSN 0141-9331
Éditeur: Elsevier BV
DOI: 10.1016/j.micpro.2021.104351

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

Auteurs: Barrera Herrera, Javier Enrique
Publié dans: Universitat Politecnica de Catalunya, 2020
Éditeur: UPCommons

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

Auteurs: Susmita Dey
Publié dans: Hochschule Bremerhaven, 2022
Éditeur: Hochschule Bremerhaven

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

Auteurs: Marc Sole Bonet
Publié dans: Universitat Politecnica de Catalunya, 2021
Éditeur: UPCommons

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

Auteurs: Jan Cordes
Publié dans: Carl von Ossietzky, 2022
Éditeur: DLR elib

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

Auteurs: Alejandro Josué Calderón Torres
Publié dans: Universitat Politecnica de Catalunya, 2022
Éditeur: UPCommons

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

Auteurs: Alvaro Jover Alvarez
Publié dans: Universitat Politecnica de Catalunya, 2021
Éditeur: UPCommons

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

Auteurs: Cristina Peralta Quesada
Publié dans: Universitat Politecnica de Catalunya, 2022
Éditeur: UPCommons

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

Auteurs: Alejandro J. Calderón, Leonidas Kosmidis, Carlos F. Nicolás, Javier de Lasala, Ion Larrañaga
Publié dans: Architecture of Computing Systems - 34th International Conference, ARCS 2021, Virtual Event, June 7–8, 2021, Proceedings, Numéro 12800, 2021, Page(s) 68-83, ISBN 978-3-030-81681-0
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-81682-7_5

Recherche de données OpenAIRE...

Livrables

Publications

Partager cette page

Télécharger