Hybrid knowledge and data driven synthesis of runtime monitors for cyber-physical systems
Recent advances in sensing and computing technology have led to the proliferation of
Cyber-Physical Systems (CPS) in safety-critical domains. However, the increasing device …
Cyber-Physical Systems (CPS) in safety-critical domains. However, the increasing device …
Software-only based diverse redundancy for asil-d automotive applications on embedded hpc platforms
High-Performance Computing (HPC) platforms become a must in automotive systems to
enable autonomous driving. However, automotive platforms must avoid Common Cause …
enable autonomous driving. However, automotive platforms must avoid Common Cause …
Turnpike: Lightweight soft error resilience for in-order cores
Acoustic-sensor-based soft error resilience is particularly promising, since it can verify the
absence of soft errors and eliminate silent data corruptions at a low hardware cost. However …
absence of soft errors and eliminate silent data corruptions at a low hardware cost. However …
SafeDE: a flexible diversity enforcement hardware module for light-lockstep**
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 …
existence of appropriate safety measures to meet the safety requirements of the system. In …
Design with low complexity fine-grained Dual Core Lock-Step (DCLS) RISC-V processors
Embedded systems in critical domains require both hard real-time and reliable execution.
Real-time execution requires bounds in the worst-case execution time, while reliable …
Real-time execution requires bounds in the worst-case execution time, while reliable …
Software-only diverse redundancy on GPUs for autonomous driving platforms
Autonomous driving (AD) builds upon high-performance computing platforms including (1)
general purpose CPUs as well as (2) specific accelerators, being GPUs one of the main …
general purpose CPUs as well as (2) specific accelerators, being GPUs one of the main …
Parallel error detection using heterogeneous cores
Microprocessor error detection is increasingly important, as the number of transistors in
modern systems heightens their vulnerability. In addition, many modern workloads in …
modern systems heightens their vulnerability. In addition, many modern workloads in …
Software-only triple diverse redundancy on GPUs for autonomous driving platforms
Autonomous driving (AD) imposes the need for safe computations in high-performance
computing (HPC) components such as GPUs, thus with capabilities to detect and recover …
computing (HPC) components such as GPUs, thus with capabilities to detect and recover …
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 …
provide appropriate safety measures to manage random hardware faults. For instance …
A framework for fault tolerance in RISC-V
A Dörflinger, B Kleinbeck, M Albers… - 2022 IEEE Intl Conf …, 2022 - ieeexplore.ieee.org
Microcontrollers require protection against transient and permanent faults when being
utilized for safety-critical and highly reliable applications. Fail safe Dual Core Lockstep …
utilized for safety-critical and highly reliable applications. Fail safe Dual Core Lockstep …