Multi-core devices for safety-critical systems: A survey

JP Cerrolaza, R Obermaisser, J Abella… - ACM Computing …, 2020 - dl.acm.org
Multi-core devices are envisioned to support the development of next-generation safety-
critical systems, enabling the on-chip integration of functions of different criticality. This …

A survey of recent developments in testability, safety and security of risc-v processors

J Anders, P Andreu, B Becker, S Becker… - 2023 IEEE European …, 2023 - ieeexplore.ieee.org
With the continued success of the open RISC-V architecture, practical deployment of RISC-V
processors necessitates an in-depth consideration of their testability, safety and security …

Lockstep dual-core ARM A9: Implementation and resilience analysis under heavy ion-induced soft errors

ÁB de Oliveira, GS Rodrigues… - … on Nuclear Science, 2018 - ieeexplore.ieee.org
This paper presents a dual-core lockstep (DCLS) implementation to protect hard-core
processors against radiation-induced soft errors. The proposed DCLS is applied to an …

The Arm triple core lock-step (TCLS) processor

X Iturbe, B Venu, E Ozer, JL Poupat… - ACM Transactions on …, 2019 - dl.acm.org
The Arm Triple Core Lock-Step (TCLS) architecture is the natural evolution of Arm Cortex-R
Dual Core Lock-Step (DCLS) processors to increase dependability, predictability, and …

Mavfi: An end-to-end fault analysis framework with anomaly detection and recovery for micro aerial vehicles

YS Hsiao, Z Wan, T Jia, R Ghosal… - … , Automation & Test …, 2023 - ieeexplore.ieee.org
Safety and resilience are critical for autonomous unmanned aerial vehicles (UAVs). We
introduce MAVFI, the micro aerial vehicles (MAVs) resilience analysis methodology to …

Software-only based diverse redundancy for ASIL-D automotive applications on embedded HPC platforms

S Alcaide, L Kosmidis, C Hernandez… - 2020 IEEE International …, 2020 - ieeexplore.ieee.org
High-Performance Computing (HPC) platforms become a must in automotive systems to
enable autonomous driving. However, automotive platforms must avoid Common Cause …

High-integrity gpu designs for critical real-time automotive systems

S Alcaide, L Kosmidis, C Hernandez… - … Design, Automation & …, 2019 - ieeexplore.ieee.org
Autonomous Driving (AD) imposes the use of high-performance hardware, such as GPUs, to
perform object recognition and tracking in real-time. However, differently to the consumer …

In-pipeline processor protection against soft errors

J Mach, L Kohútka, P Čičák - Journal of Low Power Electronics and …, 2023 - mdpi.com
The shrinking of technology nodes allows higher performance, but susceptibility to soft
errors increases. The protection has been implemented mainly by lockstep or hardened …

SafeDE: a flexible diversity enforcement hardware module for light-lockstep**

F Bas, S Alcaide, R Lorenzo, G Cabo… - 2021 IEEE 27th …, 2021 - ieeexplore.ieee.org
Safety-related systems, such as those in automotive, avionics and space, impose the
existence of appropriate safety measures to meet the safety requirements of the system. In …

Safels: An open source implementation of a lockstep noel-v risc-v core

M Sarraseca, S Alcaide, F Fuentes… - 2023 IEEE 29th …, 2023 - ieeexplore.ieee.org
Microcontrollers running safety-critical applications with high integrity requirements must
provide appropriate safety measures to manage random hardware faults. For instance …