J. Abella |https://example.com/authors/j.-abella/J. AbellaHugoBlox Kit (https://hugoblox.com)en-usSun, 01 Jan 2023 00:00:00 +0000A Software-Only Approach to Enable Diverse Redundancy on Intel GPUs for Safety-Related Kernels (163812688)https://example.com/publications/alcaide-2023-163812688/Sun, 01 Jan 2023 00:00:00 +0000https://example.com/publications/alcaide-2023-163812688/Black-Box IP Validation with the SafeTI Traffic Injector: A Success Story (163812670)https://example.com/publications/alcaide-2023-163812670/Sun, 01 Jan 2023 00:00:00 +0000https://example.com/publications/alcaide-2023-163812670/Envisioning a Safety Island to Enable HPC Devices in Safety-Critical Domains (163812661)https://example.com/publications/alcaide-2023-163812661/Sun, 01 Jan 2023 00:00:00 +0000https://example.com/publications/alcaide-2023-163812661/NimbleAI: Towards Neuromorphic Sensing-Processing 3D-integrated Chips (163812663)https://example.com/publications/alcaide-2023-163812663/Sun, 01 Jan 2023 00:00:00 +0000https://example.com/publications/alcaide-2023-163812663/SafeLS: An Open Source Implementation of a Lockstep NOEL-V RISC-V Core (163812664)https://example.com/publications/alcaide-2023-163812664/Sun, 01 Jan 2023 00:00:00 +0000https://example.com/publications/alcaide-2023-163812664/SafeLS: Toward Building a Lockstep NOEL-V Core (163812660)https://example.com/publications/alcaide-2023-163812660/Sun, 01 Jan 2023 00:00:00 +0000https://example.com/publications/alcaide-2023-163812660/SafeTI Traffic Injector Enhancement for Effective Interference Testing in Critical Real-Time Systems (163812681)https://example.com/publications/alcaide-2023-163812681/Sun, 01 Jan 2023 00:00:00 +0000https://example.com/publications/alcaide-2023-163812681/Achieving Diverse Redundancy for GPU Kernels (163812671)https://example.com/publications/alcaide-2022-163812671/Sat, 01 Jan 2022 00:00:00 +0000https://example.com/publications/alcaide-2022-163812671/De-RISC: A Complete RISC-V Based Space-Grade Platform (163812676)https://example.com/publications/alcaide-2022-163812676/Sat, 01 Jan 2022 00:00:00 +0000https://example.com/publications/alcaide-2022-163812676/END-TO-END QOS FOR THE OPEN SOURCE SAFETY-RELEVANT RISC-V SELENE PLATFORM (163812675)https://example.com/publications/alcaide-2022-163812675/Sat, 01 Jan 2022 00:00:00 +0000https://example.com/publications/alcaide-2022-163812675/SafeDE: A Low-Cost Hardware Solution to Enforce Diverse Redundancy in Multicores (163812686)https://example.com/publications/alcaide-2022-163812686/Sat, 01 Jan 2022 00:00:00 +0000https://example.com/publications/alcaide-2022-163812686/SafeDM: a Hardware Diversity Monitor for Redundant Execution on Non-Lockstepped Cores (163812672)https://example.com/publications/alcaide-2022-163812672/Sat, 01 Jan 2022 00:00:00 +0000https://example.com/publications/alcaide-2022-163812672/SafeDX: Standalone Modules Providing Diverse Redundancy for~Safety-Critical Applications (163812666)https://example.com/publications/alcaide-2022-163812666/Sat, 01 Jan 2022 00:00:00 +0000https://example.com/publications/alcaide-2022-163812666/SAFESOFTDR: A LIBRARY TO ENABLE SOFTWARE-BASED DIVERSE REDUNDANCY FOR SAFETY-CRITICAL TASKS (163812674)https://example.com/publications/alcaide-2022-163812674/Sat, 01 Jan 2022 00:00:00 +0000https://example.com/publications/alcaide-2022-163812674/SafeSU-2: a Safe Statistics Unit for Space MPSoCs (163812678)https://example.com/publications/alcaide-2022-163812678/Sat, 01 Jan 2022 00:00:00 +0000https://example.com/publications/alcaide-2022-163812678/SafeX: Open Source Hardware and Software Components for Safety-Critical Systems (163812679)https://example.com/publications/alcaide-2022-163812679/Sat, 01 Jan 2022 00:00:00 +0000https://example.com/publications/alcaide-2022-163812679/SafeDE (108230650): a flexible Diversity Enforcement hardware module for light-locksteppinghttps://example.com/publications/bas-2021-108230650/Tue, 01 Jun 2021 00:00:00 +0000https://example.com/publications/bas-2021-108230650/SafeTI (108230568): a Hardware Traffic Injector for MPSoC Functional and Timing Validationhttps://example.com/publications/sala-2021-108230568/Tue, 01 Jun 2021 00:00:00 +0000https://example.com/publications/sala-2021-108230568/SafeSU (108230728): an Extended Statistics Unit for Multicore Timing Interferencehttps://example.com/publications/cabo-2021-108230728/Sat, 01 May 2021 00:00:00 +0000https://example.com/publications/cabo-2021-108230728/Security, Reliability and Test Aspects of the RISC (108230697)-V Ecosystemhttps://example.com/publications/abella-2021-108230697/Sat, 01 May 2021 00:00:00 +0000https://example.com/publications/abella-2021-108230697/GPU4S: Embedded GPUs in space: Latest project updates (163812683)https://example.com/publications/alcaide-2021-163812683/Fri, 01 Jan 2021 00:00:00 +0000https://example.com/publications/alcaide-2021-163812683/GPU4S: Embedded GPUs in space - Latest project updates (163812668)https://example.com/publications/alcaide-2020-163812668/Wed, 01 Jan 2020 00:00:00 +0000https://example.com/publications/alcaide-2020-163812668/Software-only based Diverse Redundancy for ASIL (108230751)-D Automotive Applications on Embedded HPC Platformshttps://example.com/publications/alcaide-2020-108230751/Wed, 01 Jan 2020 00:00:00 +0000https://example.com/publications/alcaide-2020-108230751/Software-only triple diverse redundancy on GPUs for autonomous driving platforms (163812685)https://example.com/publications/alcaide-2020-163812685/Wed, 01 Jan 2020 00:00:00 +0000https://example.com/publications/alcaide-2020-163812685/Software-only Diverse Redundancy on GPUs (108230762) for Autonomous Driving Platformshttps://example.com/publications/alcaide-2019-108230762/Mon, 01 Jul 2019 00:00:00 +0000https://example.com/publications/alcaide-2019-108230762/High-Integrity GPU (108230771) Designs for Critical Real-Time Automotive Systemshttps://example.com/publications/alcaide-2019-108230771/Fri, 01 Mar 2019 00:00:00 +0000https://example.com/publications/alcaide-2019-108230771/Safety-Related Challenges and Opportunities for GPUs (108230780) in the Automotive Domainhttps://example.com/publications/alcaide-2018-108230780/Thu, 01 Nov 2018 00:00:00 +0000https://example.com/publications/alcaide-2018-108230780/DIMP (108230793)https://example.com/publications/alcaide-2017-108230793/Thu, 01 Jun 2017 00:00:00 +0000https://example.com/publications/alcaide-2017-108230793/