SELENE: Self-monitored Dependable platform for High-Performance Safety-Critical Systems

Informations projet

SELENE

N° de convention de subvention: 871467

DOI

10.3030/871467

Projet clôturé

Date de signature de la CE 5 Decembre 2019

Date de début 1 Decembre 2019

Date de fin 30 Novembre 2022

Financé au titre de

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

Coût total

€ 4 996 526,25

Contribution de l’UE

€ 4 996 523,00

Coordonné par

UNIVERSITAT POLITECNICA DE VALENCIA
Spain

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Livrables

Documents, reports (16)

Dissemination & Exploitation report for PPR2, plans for exploitation beyond end of project

A summary of the dissemination and exploitation actions undertaken during the project as well as an overview of the plans of partners to further exploit the generated knowledge beyond the project lifetime This include a plan of a joint book and inputs from T54

SELENE software platform description

Final hypervisor RTOS and AI user manual Safety concept T32 T35

Initial software setup guide

Preliminary hypervisor and RTOS user manual (T3.1 - T3.5).

Use case descriptions and requirements

Description of the space, robotics and railway use cases, and their requirements on the SELENE platform (T1.3).

Use case evaluation

List of evaluation criteria and requirements and an assessment report using quantitative and qualitative dataT45

Final hardware support for safety, security, virtualization and acceleration

Technical contributions by M30 T22 T25

Dissemination & Exploitation report for PPR1, plans for PPR2

The initial dissemination plan reports on the dissemination activities undertaken in the first reporting period, and provides detailed plan for the rest of the project for both dissemination and exploitation including result from T5.4.

Website, flyer, initial dissemination and exploitation plan

Communication and dissemination materials targeting a variety of stakeholders, as well as the project website, and a plan for early dissemination and exploitation.

Preliminary SELENE System-on-chip description and configuration guide

First version of the FPGA board user manual (T2.1 - T2.6).

Lessons learnt

Final report available to the public providing hindsight on project choices management and technical experience and future directions including observations from the advisory board

Preliminary hardware support for safety, security, virtualization and acceleration features

Technical contributions by M12 (T2.2 - T2.5).

Final SELENE System-on-chip description and configuration guide

Final FPGA board user manual T22 T26

Intermediate hardware support for safety, security, virtualization and acceleration features

Technical contributions by M18 (T2.2 - T2.5).

SELENE platform requirements and use constraints

Report collecting hardware and software SELENE platform requirements and use constraints (T1.1-T1.2).

Intermediate SELENE System-on-chip description and configuration guide

Updated FPGA board user manual (T2.1 - T2.6).

FPGA platform definition

Specification of the characteristics needed by the SoC in the FPGA board to use, FPGA board choice, and fault mitigation measures needed for space environments (T1.4).

Other (3)

Final SELENE software platform

Technical solutions description, and source code and configurations, including safety, security and AI support (T3.2 - T3.5).

Preliminary software architecture Initial software enabling on target platform

Technical solutions description, and source code and configurations of hypervisor and Linux (T3.1 - T3.5).

Preliminary software architecture

Initial software solutions architecture and Hypervisor and Linux/RTOS setup (T3.1 - T3.5)..

Publications

Conference proceedings (15)

SELENE: Self-Monitored Dependable Platform for High-Performance Safety-Critical Systems

Auteurs: Carles Hernandez, Jose Flieh, Roberto Paredes, Charles-Alexis Lefebvre, Imanol Allende, Jaume Abella, David Trillin, Martin Matschnig, Bernhard Fischer, Konrad Schwarz, Jan Kiszka, Martin Ronnback, Johan Klockars, Nicholas McGuire, Franz Rammerstorfer, Christian Schwarzl, Franck Wartet, Dierk Ludemann, Mikel Labayen
Publié dans: 2020 23rd Euromicro Conference on Digital System Design (DSD), 2020, Page(s) 370-377, ISBN 978-1-7281-9535-3
Éditeur: IEEE
DOI: 10.1109/dsd51259.2020.00066

SafeDE: a flexible Diversity Enforcement hardware module for light-lockstepping

Auteurs: Francisco Bas, Sergi Alcaide, Ruben Lorenzo, Guillem Cabo, Guillermo GIL, Oriol Sala, Fabio Mazzocchetti, David Trilla,Jaume Abella
Publié dans: 27th IEEE International Symposium on On-Line Testing and Robust System Design, 2021
Éditeur: IEEE

On the reliability of hardware event monitors in MPSoCs for critical domains

Auteurs: Javier Barrera, Leonidas Kosmidis, Hamid Tabani, Enrico Mezzetti, Jaume Abella, Mikel Fernandez, Guillem Bernat, Francisco J. Cazorla
Publié dans: Proceedings of the 35th Annual ACM Symposium on Applied Computing, 2020, Page(s) 580-589, ISBN 9781450368667
Éditeur: ACM
DOI: 10.1145/3341105.3373955

HLS-Based HW/SW Co-Design of the Post-Quantum Classic McEliece Cryptosystem

Auteurs: Vatistas Kostalampros, Jordi Ribes-González, Oriol Farràs, Miquel Moretó and Carles Hernandez
Publié dans: International Conference on Field-Programmable Logic and Applications (FPL), 2021
Éditeur: IEEE

Improving the Robustness of Redundant Execution with Register File Randomization

Auteurs: Ilya Tuzov, Pablo Andreu, Laura Medina, Tomas Picornell, Antonio Robles, Pedro Lopez, Jose Flich, Carles Hernández
Publié dans: 2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 2021, Page(s) 1-9
Éditeur: IEEE
DOI: 10.1109/iccad51958.2021.9643466

SafeSU-2: a Safe Statistics Unit for Space MPSoCs

Auteurs: Guillem Cabo, Sergi Alcaide, Carles Hernandez, Pedro Benedicte, Francisco Bas, Fabio Mazzocchetti, Jaume Abella
Publié dans: 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), Numéro 1, 2022, Page(s) 1085-1086
Éditeur: IEEE
DOI: 10.23919/date54114.2022.9774515

Empirical Analysis of the Specialization of a Diversity Metric per Circuit Path

Auteurs: Sergi Alcaide, Carles Hernández, Jaume Abella
Publié dans: 17th Workshop on Silicon Errors in Logic - System Effects, 2021
Éditeur: No oficial proceedings

Security, Reliability and Test Aspects of the RISC-V Ecosystem

Auteurs: Jaume Abella, Sergi Alcaide, Jens Anders, Francisco Bas, Steffen Becker, Elke De Mulder, Nourhan Elhamawy, Frank K. Gurkaynak, Helena Handschuh, Carles Hernandez, Mike Hutter, Leonidas Kosmidis, Ilia Polian, Matthias Sauer, Stefan Wagner, Francesco Regazzoni
Publié dans: 2021 IEEE European Test Symposium (ETS), 2021, Page(s) 1-10, ISBN 978-1-6654-1849-2
Éditeur: IEEE
DOI: 10.1109/ets50041.2021.9465449

Cuotas hardware para el despliegue de aplicaciones de alta criticidad en sistemas multiprocesador

Auteurs: Pablo Andreu Cerezo, Carles Hernández, Pedro Lopez
Publié dans: Actas de las Jornadas SARTECO 2022, Numéro 1, 2022, ISBN 978-84-1302-185-0
Éditeur: Universidad de Alicante

Enabling hardware randomization across the cache hierarchy in Linux-Class processors

Auteurs: Doblas, Max; Kostalabros, Ioannis-Vatistas; Moreto Planas, Miquel; Hernández Luz, Carles
Publié dans: 4th Workshop on Computer Architecture Research with RISC-V, Numéro 1, 2020
Éditeur: No publisher

The SELENE Deep Learning Acceleration Framework for Safety-related Applications

Auteurs: Laura Medina, Salvador Carrión, Pablo Andreu, Tomás Picornell, José Flich, Carles Hernández, Michael Sandoval, Markel Sainz, Charles-Alecis Lefebvre, Martin Rönnbäck, Martin Matschnig, Matthias Wess
Publié dans: 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), Numéro 1, 2022, Page(s) 636-639
Éditeur: IEEE
DOI: 10.23919/date54114.2022.9774578

Artificial Intelligence for High-performance Human Space Flight Avionics Systems

Auteurs: Carles Hernandez, Nick Hauptvogel, Laura Medina, Charles-Alexis Lefebvre, Jose Flich, Martin Rönnbäck, Dierk Lüdemann
Publié dans: Data Systems In Aerospace Conference (DASIA 2022), 2022
Éditeur: Eurospace

SafeDM: a Hardware Diversity Monitor for Redundant Execution on Non-Lockstepped Cores

Auteurs: Francisco Bas, Pedro Benedicte, Sergi Alcaide, Guillem Cabo, Fabio Mazzocchetti and Jaume Abella
Publié dans: 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), Numéro 1, 2022, Page(s) 358-363
Éditeur: IEEE
DOI: 10.23919/date54114.2022.9774540

SafeTI: a Hardware Traffic Injector for MPSoC Functional and Timing Validation

Auteurs: Oriol Sala, Sergi Alcaide, Jaume Abella, Guillem Cabo, Francisco Bas, Ruben Lorenzo, Pedro Benedicte, David Trilla, Fabio Mazzocchetti, Guillermo Gil
Publié dans: 27th IEEE International Symposium on On-Line Testing and Robust System Design, 2021
Éditeur: IEEE
DOI: 10.1109/iolts52814.2021.9486689

HLSinf: Una Plataforma de Aceleración de Procesos de Inferencia en FPGA aplicado a Imágenes Médicas

Auteurs: Laura Medina, Izan Catalán, José Flich, Carles Hernández, Andrea Bragagnolo, Fabrice Auzanneau y David Briand
Publié dans: Actas de las Jornadas SARTECO 2022, 2022, Page(s) 185-190, ISBN 978-84-1302-185-0
Éditeur: Universidad de Alicante

Other (4)

Bounding inter-core interference with a hardware quota mechanism

Auteurs: Pablo Andreu Cerezo; Carles Hernández; Pedro Lopez
Publié dans: 18th International Summer School on Advanced Computer Architecture and Compilation for High-performance Embedded Systems (ACACES 2022), Numéro 1, 2022, ISBN 978-88-947027-0-5
Éditeur: HiPEAC, the European Network of Excellence on High Performance Embedded Architecture and Compilation

End-to-end QoS for the Open Source safety-relevant RISC-V SELENE platform

Auteurs: Pablo Andreu, Carles Hernández, Tomas Picornell, Pedro Lopez, Sergi Alcaide, Francisco Bas, Pedro Benedicte, Guillem Cabo, Feng Chang, Francisco Fuentes, Jaume Abella
Publié dans: Numéro 1, 2022
Éditeur: arxiv.org

The HLSinf AI hardware accelerator for Safety-related Applications in SELENE

Auteurs: Laura Medina, José Flich, Carles Hernández
Publié dans: 18th International Summer School on Advanced Computer Architecture and Compilation for High-performance Embedded Systems (ACACES 2022), Numéro 1, 2022, Page(s) 109-112, ISBN 978-88-947027-0-5
Éditeur: HiPEAC, the European Network of Excellence on High Performance Embedded Architecture and Compilation

Static Hardware Partitioning on RISC-V: Shortcomings, Limitations and Prospects

Auteurs: Ralf Ramsauer, Stefan Huber, Konrad Schwarz, Jan Kiszka, Wolfgang Maurer
Publié dans: 2022
Éditeur: arxiv.org

Thesis and dissertations (5)

Development of a Light Weight L2-Cache Controller

Auteurs: Måns Arildsson
Publié dans: 2022
Éditeur: Luleå University of Technology

Design and Implementation of a Network-on-Chip based Embedded System-on-Chip

Auteurs: Panagiotis Strikos
Publié dans: 2021
Éditeur: Chalmers University of Technology

Measuring and Controlling Multicore Contention in a RISC-V System-on-Chip

Auteurs: Pablo Andreu
Publié dans: 2021
Éditeur: Universitat Politècnica de València

Design of a diversity enforcement module for safety critical processing systems

Auteurs: Francisco Bas
Publié dans: 2022
Éditeur: Universitat Politecnica de Catalunya

Generación de un Módulo Optimizado de Inferencia en FPGAs con HLS

Auteurs: Laura Medina
Publié dans: 2021
Éditeur: Universitat Politècnica de València

Peer reviewed articles (2)

HP-DCFNoC: High Performance Distributed Dynamic TDM Scheduler Based on DCFNoC Theory

Auteurs: Tomas Picornell, Jose Flich, Duato Jose, Carles Hernandez
Publié dans: IEEE Access, Numéro 8, 2020, Page(s) 194836-194849, ISSN 2169-3536
Éditeur: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2020.3033853

Achieving Diverse Redundancy for GPU Kernels

Auteurs: Sergi Alcaide, Leonidas Kosmidis, Carles Hernández, Jaume Abella
Publié dans: IEEE Transactions on Emerging Topics in Computing, Numéro vol. 10, no. 2, 2022, Page(s) 618-634, ISSN 2168-6750
Éditeur: IEEE Computer Society
DOI: 10.1109/tetc.2021.3101922