Publicaciones

Exportar resultados como:

Mostrando 1 - 10 resultados de 11

2022

SafeDX: Standalone Modules Providing Diverse Redundancy for Safety-Critical Applications

Embedded Computer Systems: Architectures, Modeling, and Simulation: 22nd International Conference, SAMOS 2022

R. Canal, F. Bas, S. Alcaide, G. Cabo, P. Benedicte, F. Fuentes, F. Chang, I. Lasfar, and J. Abella
SafeX: Open Source Hardware and Software Components for Safety-Critical Systems

2022 Forum on Specification & Design Languages (FDL)

S. Alcaide, G. Cabo, F. Bas, P. Benedicte, F. Fuentes, F. Chang, I. Lasfar, R. Canal, and J. Abella
Unboxing the Sand: on Deploying Safety Measures in the Programmable Logic of COTS MPSoCs

11th European Congress Embedded Real Time Systems ( ERTS 2022 )

S. Alcaide, G. Cabo, F. Bas, P. Benedicte, F. Mazzocchetti, F. J. Cazorla, and J. Abella
De-RISC: A Complete RISC-V Based Space-Grade Platform

2022 Design, Automation & Test in Europe Conference & Exhibition (DATE)

N-J. Wessman, F. Malatesta, S. Ribes, J. Andersson, A. Garcia-Vilanova, M. Masmano, V. Nicolau, P. Gomez, J. Le Rhun, S. Alcaide, G. Cabo, F. Bas, P. Benedicte, F. Mazzocchetti, and J. Abella
SafeDM: a Hardware Diversity Monitor for Redundant Execution on Non-Lockstepped Cores

2022 Design, Automation & Test in Europe Conference & Exhibition (DATE)

F. Bas, P. Benedicte, S. Alcaide, G. Cabo, F. Mazzocchetti, and J. Abella
SafeSU-2: a Safe Statistics Unit for Space MPSoCs

2022 Design, Automation & Test in Europe Conference & Exhibition (DATE)

G. Cabo, S. Alcaide, C. Hernandez, P. Benedicte, F. Bas, F. Mazzocchetti, and J. Abella

2021

De-RISC: the First RISC-V Space-Grade Platform for Safety-Critical Systems

2021 IEEE Space Computing Conference (SCC)2021 IEEE Space Computing Conference (SCC)

N-J. Wessman, F. Malatesta, J. Andersson, P. Gomez, M. Masmano, V. Nicolau, J. Le Rhun, G. Cabo, F. Bas, R. Lorenzo, O. Sala, D. Trilla, and J. Abella
SafeDE: a flexible Diversity Enforcement hardware module for light-lockstepping

2021 IEEE 27th International Symposium on On-Line Testing and Robust System Design (IOLTS)

F. Bas, S. Alcaide, R. Lorenzo, G. Cabo, G. Gil, O. Sala, F. Mazzocchetti, D. Trilla, and J. Abella
SafeTI: a Hardware Traffic Injector for MPSoC Functional and Timing Validation

2021 IEEE 27th International Symposium on On-Line Testing and Robust System Design (IOLTS)

O. Sala, S. Alcaide, G. Cabo, F. Bas, R. Lorenzo, P. Benedicte, D. Trilla, G. Gil, F. Mazzocchetti, and J. Abella
SafeSU: an Extended Statistics Unit for Multicore Timing Interference

2021 IEEE European Test Symposium (ETS)2021 IEEE European Test Symposium (ETS)

G. Cabo, F. Bas, R. Lorenzo, D. Trilla, S. Alcaide, M. Moretó, C. Hernandez, and J. Abella

Páginas