Skip to main content
Aller à la page d’accueil de la Commission européenne (s’ouvre dans une nouvelle fenêtre)
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS

De-RISC: Dependable Real-time Infrastructure for Safety-critical Computer

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

Multi-domain assessment report (s’ouvre dans une nouvelle fenêtre)

Analysis of the adherence of the RISCV platform to other critical realtime domains

Communication and Dissemination Plan and Report, First Update (s’ouvre dans une nouvelle fenêtre)

Plan Update after one year and report on communication and dissemination activities.

M24 progress report WP6 (s’ouvre dans une nouvelle fenêtre)

Report analogous to D62 but for the period m13m24

M12 progress report (s’ouvre dans une nouvelle fenêtre)

Technical report summarizing the technical activities done until m12, and financial report including the financial statements of each partner and their use of the resources. Deviations w.r.t. plan will be justified, corrective actions taken, and risk management updates.

Final progress report (s’ouvre dans une nouvelle fenêtre)

Report analogous to D62 but for the period m25m36

RISC-V XtratuM verification report (s’ouvre dans une nouvelle fenêtre)

RISCV XtratuM hypervisor report describing the verification process and results

RISC-V SoC user manual, final update (s’ouvre dans une nouvelle fenêtre)

Final update of the user manual for the RISCV SoC after design and verification

RISC-V SoC verification report, final update (s’ouvre dans une nouvelle fenêtre)

Final update of the report describing the verification process and results for the RISCV SoC

RISC-V SoC user manual (s’ouvre dans une nouvelle fenêtre)

User manual for the RISCV SoC after design and verification

Validation strategy definition (s’ouvre dans une nouvelle fenêtre)

Description of the strategy for the validation of the different platform elements including the test plan and the assessment to perform with the use case

Final RISC-V platform prototype (s’ouvre dans une nouvelle fenêtre)

Functional and validated platform including the RISCV SoC and XtratuM as well as required documentation for their use

RISC-V XtratuM verification report, final update (s’ouvre dans une nouvelle fenêtre)

This deliverable will describe the verification process and results at the end of the development process including the support of the RISCV full virtualization extensions implemented in NOELV

Communication and Dissemination Plan (s’ouvre dans une nouvelle fenêtre)

Initial communication and dissemination plan at project start.

RISC-V SoC verification report (s’ouvre dans une nouvelle fenêtre)

Report describing the verification process and results for the RISCV SoC

Communication and Dissemination Plan and Report, Second Update (s’ouvre dans une nouvelle fenêtre)

Plan Update after two years and report on communication and dissemination activities

Communication and Dissemination Report, Final Update (s’ouvre dans une nouvelle fenêtre)

Final communication and dissemination report

Interim platform and domain requirement specification and definition (s’ouvre dans une nouvelle fenêtre)

Interim aviation and space requirements for the platform, as well as requirements emanating from the platform itself.

Publications

Open Source Hardware: An Opportunity For Critical Systems (s’ouvre dans une nouvelle fenêtre)

Auteurs: Jimmy Le Rhun, Sylvain Girbal, Daniel Gracia Pérez
Publié dans: 2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), 2020
Éditeur: IEEE
DOI: 10.1109/dsn-w50199.2020.00019

De-RISC: Launching RISC-V into space (s’ouvre dans une nouvelle fenêtre)

Auteurs: Jimmy Le Rhun, Vicente Nicolau, Antonio Garcia-Vilanova, Jan Andersson, Sergi Alcaide
Publié dans: OBDP2021 - 2nd European Workshop on On-Board Data Processing, 2021
Éditeur: ESA Conference ureau
DOI: 10.5281/zenodo.5575007

De-RISC: A Complete RISC-V Based Space-Grade Platform (s’ouvre dans une nouvelle fenêtre)

Auteurs: Wessman, Nils-Johan; Malatesta, Fabio; Ribes, Stefano; Andersson, Jan; García Vilanova, Antonio; Masmano Tello, Miguel; Nicolau Gallego, Vicente; Gómez Molinero, Paco; Le Rhun, Jimmy; Alcaide Portet, Sergi; Cabo Pitarch, Guillem; Bas Jalón, Francisco; Benedicte Illescas, Pedro; Mazzocchetti, Fabio; Abella Ferrer, Jaume
Publié dans: 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), Numéro 1, 2022
Éditeur: IEEE
DOI: 10.23919/date54114.2022.9774557

De-RISC: the First RISC-V Space-Grade Platform for Safety-Critical Systems (s’ouvre dans une nouvelle fenêtre)

Auteurs: Nils-Johan Wessman; Fabio Malatesta; Jan Andersson; Paco Gomez; Miguel Masmano; Vicente Nicolau; Jimmy Le Rhun; Guillem Cabo; Francisco Bas; Ruben Lorenzo; Oriol Sala; David Trilla; Jaume Abella
Publié dans: 2021 IEEE Space Computing Conference (SCC), 2021, ISBN 978-1-6654-2400-4
Éditeur: IEEE
DOI: 10.1109/scc49971.2021.00010

SafeSU: an Extended Statistics Unit for Multicore Timing Interference (s’ouvre dans une nouvelle fenêtre)

Auteurs: Guillem Cabo; Francisco Bas; Ruben Lorenzo; David Trilla; Sergi Alcaide; Miquel Moreto; Carles Hernandez; Jaume Abella
Publié dans: 2021 IEEE European Test Symposium (ETS), 2021, ISBN 978-1-6654-1849-2
Éditeur: IEEE
DOI: 10.1109/ets50041.2021.9465444

De-RISC – Dependable Real-Time Infrastructurefor Safety-Critical Computer Systems

Auteurs: Gómez F., Masmano M., Nicolau V., Andersson J., Le Rhun J, Trilla D., Gallego F., Cabo G., Abella J.
Publié dans: Ada User Journal, Numéro VOL. 41 No. 2. June, 2020., 2020, Page(s) 107-112, ISSN 1381-6551
Éditeur: Ada Language UK Ltd.

Recherche de données OpenAIRE...

Une erreur s’est produite lors de la recherche de données OpenAIRE

Aucun résultat disponible

Mon livret 0 0